MATH 776
MODEL THEORY
Review of compactness and some consequences. Quantifier elimination with examples. The omitting types theorem. Categoricity. Baldwin-Lachlan theory. Strongly minimal and o-minimal theories. Saturated models. Morley's theorem. Familiarity with the topics in a basic Foundations course such as MATH 770 is strongly recommended.
Prerequisites & course information
Requisites: Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program Course Designation: Grad 50% - Counts toward 50% graduate coursework requirement Repeatable for Credit: No Last Taught: Spring 2022
Sources
- Course catalogue ↗2026-2027