Math 6000, model theory
Prof. Monk




Chapter 1. Structures
Chapter 2. Terms and varieties
Chapter 3. Sentential logic
Chapter 4. First-order logic
Chapter 5. The compactness theorem
Chapter 6. Basic model theory
Chapter 7. Morley's theorem
Chapter 8. Morley rank
Chapter 9. Interpolation
Chapter 10. Countable models
Notes on real-closed fields
solutions 1
solutions 2
solutions 3
solutions 4
solutions 5
solutions 6
solutions 7