5.4 Nonstandard Models
Construction and properties of nonstandard models using compactness and Lowenheim Skolem.
Tag
Compactness
4 notes
5.3 Applications to Algebra
Applications of compactness and Lowenheim Skolem to algebraic structures and existence results.
5.1 Compactness Theorem
Detailed development of the compactness theorem, its proof via completeness, and fundamental applications in model theory.
Chapter 5. Compactness and Completeness
Compactness, completeness, Lowenheim-Skolem theorems, nonstandard models, and limitations of first order logic.