(Q1068283)

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

0 references
0 references
0 references
0 references
0 references
1915
0 references
Lowenheim-skolem.svg
345 × 272; 17 KB
0 references

Identifiers