**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:** Immediately after class or 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 machinery will be used to solve several
model-theoretic problems. Including stability spectrum theorem, uniqueness of
prime models and various characterizations.

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

Text: Rami Grossberg, ** A course in model theory **,
for only students in this course, by using this link you agree
not to forward and/or share the contents without my explicit agreement.

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

Rami's home page.

Last modified:
January 12^{th}, 2006 |