Metalogic

3 credits · Graduate Programs

Introduction to the metatheory of logical systems. Completeness, compactness, Loewenheim-Skolem, and undecidability theorems for first-order logic. Preview of non-standard models, second-order logic, and Godel's first incompleteness theorem. Prerequisite(s): Consent of the Department.