Math 116a Model Theory

Fall 2023

Textbook

We'll use David Marker's Model Theory: An Introduction as our textbook, covering material through the first three chapters, give or take. Many of the homework problems will be drawn from the book. I will also be posting my lecture notes on Canvas regularly.

Course Description

Prerequisites: Ma 5 or equivalent, or instructor's permission. Welcome to Math 116a! This course is an introduction to model theory. Topics to be covered include first-order languages and structures, first-order theories, definable sets, the Compactness Theorem and Godel's Completeness Theorem, elementary substructures and the Lowenheim-Skolem Theorem, back-and-forth constructions and Fraisse theory, and quantifier elimination.

Lecture Notes

  1. Lecture 1
  2. Lecture 2
  3. Lecture 3
  4. Lecture 4
  5. Lecture 5
  6. Lecture 6
  7. Lecture 7
  8. Lecture 8
  9. Lecture 9
  10. Lecture 10
  11. Lecture 11
  12. Lecture 12
  13. Lecture 13
  14. Lecture 14
  15. Lecture 15
  16. Lecture 16
  17. Lecture 17
  18. Lecture 18
  19. Lecture 19

Homeworks

  1. HW1
  2. HW2
  3. HW3
  4. HW4
  5. HW5
  6. HW6
  7. HW7
  8. HW8