Löwenheim–Skolem theorem
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 𝑀
mathematischer Satz
Löwenheim-Skolem
Satz von Löwenheim und Skolem
Satz von Löwenheim-Skolem
Satz von Löwenheim-Skolem-Tarski