776 - Model Theory

Instructor: 
Steffen Lempp
Time and Place: 
MWF 1:20-2:10
textbooks: 

David Marker: Model Theory: An Introduction (Springer-Verlag)

Course Content: 

Review of compactness and some consequences. Quantifier elimination
with examples. The omitting types theorem. Categoricity.
Baldwin-Lachlan theory. Strongly minimal and o-minimal theories.
Saturated models. Morley's theorem.