Graduate Courses
**21-703 **

Model Theory II

12 units

The course concentrates in what is considered "main stream model theory" which is Shelah's classicfication theory (known also as Stability). Among the topics to be presented are stability, superstability, the theory of various notions of primeness, rank functions, forking calculus, the stability spectrum theorem, finite equivalence relations theorem, stable groups (up to and including the Macintyre-Cherlin-Shelah theorem on super-stable fields), and some elementary geometric model theory. If time permits also: basic facts about infinitary languages, computation of Hanf-Morley numbers; some of the Ax-Kochen-Ershov theory of model theory for fields with valuations (will apply this to solve Artin's conjecture).