Metalogic

Catalog description

An introduction to the basic concepts, methods, and results of metalogic, including rigorous definitions of provability and model-theoretic consequence and the soundness and completeness theorems for first-order logic. The course may also cover further topics such as the compactness theorem, the Löwenheim-Skolem theorems, and applications of non-standard models.