MATH 591. Model Theory.
Note: For information about Fall 2025 and Winter 2026 course offerings, please check back on May 8, 2025. Until then, the "Terms offered" field will appear blank for most courses while the class schedule is being finalized.
MATH 591
Model Theory.
Credits: 4
Offered by: Mathematics and Statistics (Faculty of Science)
This course is not offered this catalogue year.
Description
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; homogeneous structures and Fraïssé theory; infinitary logics. Optional topics: indiscernibles and Morley's theorem; stability; o-minimality; elimination of imaginaries.
- Winter
- Prerequisites: MATH 318 or MATH 488 or MATH 456 or permission of the instructor.
Most students use Visual Schedule Builder (VSB) to organize their schedules. VSB helps you plan class schedules, travel time, and more.
Launch Visual Schedule Builder