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.

Notes

Lecture notes are HERE

Homeworks

HW problems are HERE



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