Course Information

This course is designed to present the basics of Model Theory. The following topics will be covered:

* Quick Review of Mathematical Logic - Languages, Structures, Theories.

* Compactness Theorem

* Back-and-Forth and Algebraic Examples.

* Types and Type Spaces. Saturated Models.


Lecture notes are HERE


HW problems are HERE

The look of this website evolved from a design by Bartosz Brzezinski