Löwenheim–Skolem theorem
type: Item
named after: Leopold Löwenheim
named after: Thoralf Skolem
Freebase ID: /m/01y472
instance of: theorem
time of discovery or invention: 1915-01-01T00:00:00Z
MathWorld ID: Loewenheim-SkolemTheorem
Encyclopædia Britannica Online ID: topic/Lowenheim-Skolem-theorem
Microsoft Academic ID: 161856267
Larousse ID: divers/théorème_de_Löwenheim-Skolem/180573
Treccani's Enciclopedia della Matematica ID: teorema-di-lowenheim-skolem
Den Store Danske ID: Skolem-Löwenheims_sætning
studied in: model theory
part of: list of theorems
Wikidata QID: Q1068283
label: Löwenheim-Skolem-Theorem @de
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 𝑀
description: mathematischer Satz @de
alternative label: Löwenheim-Skolem @de
alternative label: Satz von Löwenheim und Skolem @de
alternative label: Satz von Löwenheim-Skolem @de
alternative label: Satz von Löwenheim-Skolem-Tarski @de