MATH 507- Model Theory

John Baldwin, Spring 2001. This course will continue from Marker's 506.

Sources will include the books of Baldwin, Marker, Poizat and various papers.The paper of Grossberg, Iovino, and Lessmann which will be the source for introduction of forking is at:http://www.math.cmu.edu/~rami/#papers

There will be regular homework assignments and probably a final exam.. Here is a very preliminary and optimistic syllabus.

2 cardinal theorems and omitting types: Marker 5.2, Grossberg, Iovino, and Lessmann (1 week)

the monster model (½ day)

Strongly minimal sets and Morley's theorem: Marker 6.1; Baldwin I.3 (1 week)

Dependence relations and Forking: Baldwin II, Grossberg, Iovino, and Lessmann (2 weeks)
(connecting French and Shelah forking: 1 day)

Stability and saturation spectrum: Baldwin III.4, Poizat 13.2 (1 week)

Strong Types: Poizat 16, Baldwin IV(1 week)

Imaginaries: Poizat 16, Baldwin VIII.3(1 week)

Prime models over sets: Poizat 10, 18, Buechler 5.5, (2 days)

stable 2 cardinal theorem: Baldwin IX.4 (2 days)

Stability, Indiscernible Sequences and Weights: Poizat 19 (2 weeks)

(probably more on regular types from Baldwin, Buechler or Pillay)

Further Topics:

Real Closed Fields and O-minimality: Marker 3.3 (1 week)

Geometric stability theory: Buechler or Pillay