All Subjects
Light
6.1
Compactness theorem and its applications
6.2
Downward Löwenheim-Skolem theorem
6.3
Upward Löwenheim-Skolem theorem
6.4
Consequences and limitations of these theorems