Mathematical Logic I

Catalog description

First order logics and interpretations. Godel-Henkin completeness theorem, Herbrand's Theorem, compactness theorem, and the Lowenheim-Skolem Theorem. Basic model theory with applications to the theory of fields. Categoricity in power.