MATH 591 Model Theory

4 credits · Mathematics and Statistics · Faculty of Science · Not scheduled for 2026–2027

Structures, theories, and definable sets; elementary equivalence and elementary embeddings; compactness and Löwenheim– Skolem theorems; types, the omitting types theorem, and saturation; categoricity and the Ryll-Nardzewski theorem; quantifier elimination and applications to algebra; ultraproducts; …

Prerequisite courses: MATH 318, MATH 456, MATH 488

Plan your whole degree in myDegree. Fit MATH 591 and everything it needs into a plan, term by term. Open myDegree

Source: McGill Course Catalogue. myDegree is an independent student project, not affiliated with McGill University.