MATH 6000: Model Theory (Spring 2026)

Schedule

1. 01/09: languages, structures [slides]
2. 01/12: embeddings, formulas, theories [slides]

Assignments

1. 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]