Instructor: Rami Grossberg
Office: WEH 7204
Phone: x8482 (268-8482 from external lines), messages at x2545
Email: Rami@cmu.edu
URL: www.math.cmu.edu/~rami
Office Hours: By appointment or whenever else you can find me.

Purpose. This is a second course in model theory. The main topic of discussion will be the forking relation and its basic properties..

Course description. The material to be covered: Shelah's "Forking calculus" will be developed it its outmost generality in the context of simple theories (which is a generalization of stability). The fundamental properties of stable, superstable and simple unstable theories will be developed. The machinarty will be used to solve several model-theoretic problems.

Prerequisites: An introduction to model theory like 21-603.

Text: Rami Grossberg, A course in model theory, a book in preperation.
table of contents (from January 17, 2001). Copy can be purchased from Stella at WeH 6116.

Most of the material (and much more) appears in the following books:

• John T. Baldwin. Fundamentals of Stability Theory. Springer-Verlag, Berlin, 1988.
• Steve Buechler. Essential Stability Theory. Springer-Verlag, Berlin, 1996.
• Bruno Poizat, A course in Model Theory, Springer-Verlag 2000. price comparison.
• Saharon Shelah, Classification Theory North-Holland 1991. price comparison.

Evaluation: Will be based on homework assignments (20%), a 50 minutes midterm (20%) and a 3 hours inclass comprehensive final written examination (60%).