Löwenheim–Skolem theorem (Q1068283)
Jump to navigation
Jump to search
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 𝑀
Language | Label | Description | Also known as |
---|---|---|---|
English | Löwenheim–Skolem theorem |
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 𝑀 |
Statements
1915
0 references
Identifiers
Lowenheim-Skolem, teorema di
2013
0 references
Sitelinks
Wikipedia(18 entries)
- cswiki Löwenheimova–Skolemova věta
- dewiki Satz von Löwenheim-Skolem
- enwiki Löwenheim–Skolem theorem
- eswiki Teorema de Löwenheim-Skolem
- frwiki Théorème de Löwenheim-Skolem
- glwiki Teorema de Löwenheim-Skolem
- hewiki משפט לוונהיים-סקולם
- itwiki Teorema di Löwenheim-Skolem
- jawiki レーヴェンハイム–スコーレムの定理
- kowiki 뢰벤하임-스콜렘 정리
- lawiki Theorema Löwenheim–Skolem
- nlwiki Stelling van Löwenheim-Skolem
- plwiki Twierdzenie Löwenheima-Skolema
- pmswiki Teorema ëd Löwenheim-Skolem-Tarski
- ptwiki Teorema de Löwenheim–Skolem
- ruwiki Теорема Лёвенгейма — Скулема
- ukwiki Теорема Льовенгейма — Сколема
- zhwiki 勒文海姆–斯科伦定理
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(1 entry)
- dewikiversity Löwenheim Skolem/Abzählbar/Aufgabe