Chapter 5. Compactness and Completeness
Compactness, completeness, Lowenheim-Skolem theorems, nonstandard models, and limitations of first order logic.
3 notes
Compactness, completeness, Lowenheim-Skolem theorems, nonstandard models, and limitations of first order logic.
Core meta-properties of formal systems: avoiding contradiction and deciding statements.
Soundness, completeness, and the relationship between semantic validity and formal provability.