Math 6000 Spring 2026
MATH 6000: Model Theory (Spring 2026)
Syllabus
Schedule
- 01/09: languages, structures [slides]
- 01/12: embeddings, formulas, theories [slides]
Assignments
- due 01/21
Textbooks
- Chang, Keisler. Model theory, Dover Publications, 3rd ed., 2013.
- Hodges. Model theory. Cambridge University Press, Cambridge, 1993.
- Hodges. A shorter model theory. Cambridge University Press, Cambridge, 1997.
- Marker. Model Theory: an Introduction. Springer, 2002 (electronic copy available via the CU library).
Lecture notes
- Bodirsky. Model theory, 2026. [pdf]
- Kruckman. Model theory, 2018. [pdf]