Carnegie Mellon ContactLinksSite
Department of Mathematical Sciences
About the Department Graduate Programs Undergraduate Program Research & Centers People
Letter of Introduction
Degree Programs
Graduate Courses
Seminars
Admissions
Financial Aid
Past Dissertations

Home

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).

Prerequisites: elementary set theory, and a basic model theory like 21-603.

Course web site