Löwenheim–Skolem theorem

<http://www.wikidata.org/entity/Q1068283>

theorem that, for any signature 𝜎, any infinite 𝜎-structure 𝑀 and any infinite cardinal 𝜅≥|𝜎|, there is a 𝜎‐structure 𝑁 of cardinality 𝜅 that is either an elementary substructure or an elementary extension of 𝑀
rdfs:label
"Löwenheim–Skolem theorem"@en
skos:altLabel
"Löwenheim-Skolemova věta"@cs
"Löwenheim-Skolemova věta dolů"@cs
"Löwenheim-Skolemova věta nahoru"@cs
schema:description
"theorem that, for any signature 𝜎, any infinite 𝜎-structure 𝑀 and any infinite cardinal 𝜅≥|𝜎|, there is a 𝜎‐structure 𝑁 of cardinality 𝜅 that is either an elementary substructure or an elementary extension of 𝑀"@en
schema:dateModified "2025-08-29T15:56:50+00:00"^^xsd:dateTime
schema:version 2398128658
wikibase:identifiers 7
wikibase:sitelinks 19
wikibase:statements 15
p:P138 wd:statement/q1068283-C5CDF367-D220-4AD3-9B52-70DFF8EF5A23
wd:statement/q1068283-C7476BC9-216B-4A1B-800B-C3B81690990E
p:P1417 wd:statement/Q1068283-1F56A134-1945-44DE-9CB3-7682C61671A4
p:P2579 wd:statement/Q1068283-64b9ebc4-4e72-6417-0148-327708e48e19
p:P2812 wd:statement/Q1068283-7944F03C-5E93-47A4-ABDC-F13844B149DE
p:P31 wd:statement/Q1068283-c31bca9e-4915-c19a-d948-455caaf0004c
p:P361 wd:statement/Q1068283-D137340F-D1A5-4E2A-B4D9-6DC20BA100F4
p:P5555 wd:statement/Q1068283-7945c55e-41e5-7c4f-7fcb-7dac3fc9d022
p:P575 wd:statement/Q1068283-1c748790-4a9f-8e7d-9c09-ee53f462ed93
p:P6058 wd:statement/Q1068283-445b0065-47a6-a28f-ec0c-81b5424e928c
p:P6104 wd:statement/Q1068283-78F3CE65-7AB2-4CBD-9C4E-994E0A2BE17A
p:P6366 wd:statement/Q1068283-8428237E-6C6A-4FA6-8110-82811F1FBCF7
p:P646 wd:statement/Q1068283-796119A5-9431-44F6-99E9-B2597479F494
p:P8313 wd:statement/Q1068283-ce2f8bd5-419c-e618-8934-2d4a53032e6c
p:P9621 wd:statement/Q1068283-fad204eb-47b3-3ae2-d17a-4c01f2859890
p:direct-normalized/P6366 <https://makg.org/entity/161856267>
wdt:P138 利奥波德·勒文海姆
陶拉爾夫·斯科倫
wdt:P1417 "topic/Lowenheim-Skolem-theorem"
wdt:P2579 မိုဒယ်သီအိုရီ
wdt:P2812 "Loewenheim-SkolemTheorem"
wdt:P31 theorem
wdt:P361 список на теореми
wdt:P5555 <http://commons.wikimedia.org/wiki/Special:FilePath/Lowenheim-skolem.svg>
wdt:P575 "1915-01-01T00:00:00+00:00"^^xsd:dateTime
wdt:P6058 "divers/théorème_de_Löwenheim-Skolem/180573"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "161856267"
wdt:P646 "/m/01y472"
wdt:P8313 "Skolem-Löwenheims_sætning"
wdt:P9621 "teorema-di-lowenheim-skolem"

Inverse relations

[ .. ] → schema:about → Löwenheim–Skolem theorem

Löwenheim Skolem/Abzählbar/Aufgabeschema:Article Löwenheimova–Skolemova větaschema:Article Löwenheim–Skolem theoremschema:Article Satz von Löwenheim-Skolemschema:Article Stelling van Löwenheim-Skolemschema:Article Teorema de Löwenheim-Skolemschema:Article Teorema de Löwenheim-Skolemschema:Article Teorema de Löwenheim–Skolemschema:Article Teorema di Löwenheim-Skolemschema:Article Teorema ëd Löwenheim-Skolem-Tarskischema:Article Theorema Löwenheim–Skolemschema:Article Théorème de Löwenheim-Skolemschema:Article Twierdzenie Löwenheima-Skolemaschema:Article Теорема Льовенгейма — Сколемаschema:Article Теорема Лёвенгейма — Скулемаschema:Article משפט לוונהיים-סקולםschema:Article レーヴェンハイム–スコーレムの定理schema:Article 勒文海姆–斯科伦定理schema:Article 뢰벤하임-스콜렘 정리schema:Article

[ .. ] → owl:sameAs → Löwenheim–Skolem theorem

<http://www.wikidata.org/entity/Q114935856>

[ .. ] → p:statement/P800 → Löwenheim–Skolem theorem

<http://www.wikidata.org/entity/statement/Q77504-e5813b2b-4c6d-4efb-d86e-de9dc7731ac8>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q548080-92209518-4841-c5cd-99dd-22bc28159b01>wikibase:BestRank

[ .. ] → wdt:P800 → Löwenheim–Skolem theorem

ثورالف سكوليم ليوبولد لوينهايم

[ .. ] → p:statement/P1552 → Löwenheim–Skolem theorem

<http://www.wikidata.org/entity/statement/Q4988715-856f0a1e-4d7a-5049-9e61-b33217e352c6>wikibase:BestRank

[ .. ] → wdt:P1552 → Löwenheim–Skolem theorem

cardinal de Löwenheim
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://query.wikidata.org/sparql