Model Theory

The course is taught in English.


The following links to an expanded syllabus (html version). For the exam I will not require you to know the proofs of theorems which are accompanied by the note 'without proof'. The numbers in parenthesis refer to the book Marcja, Toffalori: A Guide to Classical and Modern Model Theory, if they are preceded by a capital H, they refer to the book Hodges: A Shorter Model Theory. The syllabus may contain mistakes for which I apologize. However these mistakes are not a valid excuse during the exam. If you are not sure about something, ask during the lectures.


Students can download an electronic text-book. The user name is Tarski, password will be agreed to during the lectures. The text-book is in the djvu format. You can view it, e.g., in WinDjView.