Matches in Wikidata for { <http://www.wikidata.org/entity/Q1068283> ?p ?o ?g. }
- Q1068283 description "la teoremo, ke pri ajna signaturo 𝜎, ajna nefinia 𝜎-strukturo 𝑀 kaj ajna nefinia kardinala nombro 𝜅≥|𝜎|, ekzistas 𝜎‐strukturo 𝑁 de grando 𝜅, kiu estas aŭ elementa substrukturo aŭ elementa etendaĵo de 𝑀" @default.
- Q1068283 description "matematisk sætning" @default.
- Q1068283 description "mathematischer Satz" @default.
- Q1068283 description "teorema di logica matematica" @default.
- Q1068283 description "teorema matemàtic" @default.
- Q1068283 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 𝑀" @default.
- Q1068283 description "theorema theoriae exemplarum quod exemplarum theoriae congruentis omnium cardinalitatum infinitarum monstrat" @default.
- Q1068283 description "théorème selon lequel si un ensemble de formules admet un modèle infini, alors il admet un modèle de n’importe quelle cardinalité infinie supérieure ou égale au cardinal du langage et de l’ensemble de formules" @default.
- Q1068283 description "un teorema que establece que se unha teoría de primeira orde é consistente, entón ten polo menos un modelo con dominio finito ou contable" @default.
- Q1068283 description "un teorema que establece que si una teoría de primer orden es consistente, entonces tiene al menos un modelo con dominio finito o numerable" @default.
- Q1068283 description "ël teorema che si 𝑇 a l’é n’ansem d’enonsià ch’a l’ha almanch un model infinì, antlora 𝑇 a l’ha un model ëd minca cardinalità infinìa" @default.
- Q1068283 description "一階理論無法控制無窮模型的大小" @default.
- Q1068283 description "数理論理学の定理" @default.
- Q1068283 name "Löwenheim-Skolem-Theorem" @default.
- Q1068283 name "Löwenheimova-Skolemova věta" @default.
- Q1068283 name "Löwenheim–Skolem theorem" @default.
- Q1068283 name "Skolem-Löwenheims sætning" @default.
- Q1068283 name "stelling van Löwenheim-Skolem" @default.
- Q1068283 name "teorema de Lowenheim-Skolem" @default.
- Q1068283 name "teorema de Löwenheim-Skolem" @default.
- Q1068283 name "teorema de Löwenheim-Skolem" @default.
- Q1068283 name "teorema de Löwenheim-Skolem" @default.
- Q1068283 name "teorema de Löwenheim-Skolem" @default.
- Q1068283 name "teorema di Löwenheim-Skolem" @default.
- Q1068283 name "teorema ëd Löwenheim-Skolem-Tarski" @default.
- Q1068283 name "teoremo de Löwenheim-Skolem" @default.
- Q1068283 name "theorema Löwenheim–Skolem" @default.
- Q1068283 name "théorème de Löwenheim-Skolem" @default.
- Q1068283 name "twierdzenie Löwenheima-Skolema" @default.
- Q1068283 name "теорема Льовенгейма—Сколема" @default.
- Q1068283 name "теорема Лёвенгейма — Скулема" @default.
- Q1068283 name "משפט לוונהיים-סקולם" @default.
- Q1068283 name "レーヴェンハイム-スコーレムの定理" @default.
- Q1068283 name "勒文海姆–斯科伦定理" @default.
- Q1068283 name "勒文海姆–斯科伦定理" @default.
- Q1068283 name "勒文海姆–斯科倫定理" @default.
- Q1068283 name "勒文海姆–斯科倫定理" @default.
- Q1068283 name "뢰벤하임-스콜렘 정리" @default.
- Q1068283 type Item @default.
- Q1068283 label "Löwenheim-Skolem-Theorem" @default.
- Q1068283 label "Löwenheimova-Skolemova věta" @default.
- Q1068283 label "Löwenheim–Skolem theorem" @default.
- Q1068283 label "Skolem-Löwenheims sætning" @default.
- Q1068283 label "stelling van Löwenheim-Skolem" @default.
- Q1068283 label "teorema de Lowenheim-Skolem" @default.
- Q1068283 label "teorema de Löwenheim-Skolem" @default.
- Q1068283 label "teorema de Löwenheim-Skolem" @default.
- Q1068283 label "teorema de Löwenheim-Skolem" @default.
- Q1068283 label "teorema de Löwenheim-Skolem" @default.
- Q1068283 label "teorema di Löwenheim-Skolem" @default.
- Q1068283 label "teorema ëd Löwenheim-Skolem-Tarski" @default.
- Q1068283 label "teoremo de Löwenheim-Skolem" @default.
- Q1068283 label "theorema Löwenheim–Skolem" @default.
- Q1068283 label "théorème de Löwenheim-Skolem" @default.
- Q1068283 label "twierdzenie Löwenheima-Skolema" @default.
- Q1068283 label "теорема Льовенгейма—Сколема" @default.
- Q1068283 label "теорема Лёвенгейма — Скулема" @default.
- Q1068283 label "משפט לוונהיים-סקולם" @default.
- Q1068283 label "レーヴェンハイム-スコーレムの定理" @default.
- Q1068283 label "勒文海姆–斯科伦定理" @default.
- Q1068283 label "勒文海姆–斯科伦定理" @default.
- Q1068283 label "勒文海姆–斯科倫定理" @default.
- Q1068283 label "勒文海姆–斯科倫定理" @default.
- Q1068283 label "뢰벤하임-스콜렘 정리" @default.
- Q1068283 altLabel "LST 정리" @default.
- Q1068283 altLabel "Löwenheim-Skolem" @default.
- Q1068283 altLabel "Löwenheim-Skolemova věta dolů" @default.
- Q1068283 altLabel "Löwenheim-Skolemova věta nahoru" @default.
- Q1068283 altLabel "Löwenheim-Skolemova věta" @default.
- Q1068283 altLabel "Löwenheim-Skolem定理" @default.
- Q1068283 altLabel "Löwenheim–Skolem定理" @default.
- Q1068283 altLabel "Satz von Löwenheim und Skolem" @default.
- Q1068283 altLabel "Satz von Löwenheim-Skolem" @default.
- Q1068283 altLabel "Satz von Löwenheim-Skolem-Tarski" @default.
- Q1068283 altLabel "stelling van Loewenheim-Skolem" @default.
- Q1068283 altLabel "stelling van Lowenheim-Skolem" @default.
- Q1068283 altLabel "teorema de Lowenheim Skolem" @default.
- Q1068283 altLabel "teorema de Lowenheim-Skolem" @default.
- Q1068283 altLabel "teorema de Löwenheim Skolem" @default.
- Q1068283 altLabel "théorème de Skolem" @default.
- Q1068283 altLabel "Теорема Левенгейма — Сколема" @default.
- Q1068283 altLabel "Теорема Левенгейма-Сколема" @default.
- Q1068283 altLabel "Теорема Лёвенгейма — Сколема" @default.
- Q1068283 altLabel "Теорема Лёвенгейма-Сколема" @default.
- Q1068283 altLabel "משפט לוונהיים סקולם" @default.
- Q1068283 altLabel "משפט סקולם-לוונהיים" @default.
- Q1068283 altLabel "משפטי לוונהיים-סקולם" @default.
- Q1068283 altLabel "משפטי סקולם-לוונהיים" @default.
- Q1068283 altLabel "レーヴェンハイム・スコーレムの定理" @default.
- Q1068283 altLabel "レーヴェンハイム＝スコーレムの定理" @default.
- Q1068283 altLabel "勒文海姆-斯科伦定理" @default.
- Q1068283 altLabel "勒文海姆－斯科伦定理" @default.
- Q1068283 altLabel "向上Löwenheim-Skolem定理" @default.
- Q1068283 altLabel "뢰벤하임-스콜렘-타르스키 정리" @default.
- Q1068283 prefLabel "Löwenheim-Skolem-Theorem" @default.
- Q1068283 prefLabel "Löwenheimova-Skolemova věta" @default.
- Q1068283 prefLabel "Löwenheim–Skolem theorem" @default.
- Q1068283 prefLabel "Skolem-Löwenheims sætning" @default.
- Q1068283 prefLabel "stelling van Löwenheim-Skolem" @default.
- Q1068283 prefLabel "teorema de Lowenheim-Skolem" @default.