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.