19
Lowenheim-Skolem Theorem
•
Theorem
If
G
has a model, then
G
has an
enumerable model
•
•
Upwards-downwards theorem:
•
Theorem
[Lowenheim-Skolem-Tarski] Let
l
be an infinite cardinal.
If
G
has a model
then it has a model of cardinality
l