Löwenheim–Skolem theorem (Q6480493)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: [[]] |
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
Loewenheim-SkolemTheorem
Löwenheim-Skolem Theorem
1 reference
161856267
0 references
divers/théorème_de_Löwenheim-Skolem/180573
0 references
teorema-di-lowenheim-skolem
Lowenheim-Skolem, teorema di
2013
0 references
Skolem-Löwenheims_sætning
0 references
