21-603 Model Theory I

12 units, Carnegie Mellon University

Similarity types, structures; downward Lowenheim Skolem theorem; construction of models from constants, Henkin's omitting types theory, prime models; elementary chains of models, basic two cardinal theorems, saturated models, basic results on countable models including Ryll-Nardzewski's theorem; indiscernible sequences, Ehrenfeucht-Mostowski models; introduction to stability, rank functions, primary models, and a proof of Morley's catagoricity theorem; basic facts about infinitary languages, computation of Hanf-Morley numbers. (Three 50 minute lectures)

Prerequisites: (21-355 (min B) or 21-235 (min B) or 21-455 (min B)) and (21-373 (min B) or 21-237 (min B))

Offered: Fall 2026, Fall 2025

Courseweave needs JavaScript to show sections, workloads and planning tools.