Syllabus
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.
Downloads
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.
References
- W. Hodges, A Shorter Model Theory, CUP 2003
- C. C. Chang and H. J. Keisler, Model Theory, North-Holland 1973
- A. Marcja, C. Toffalori, A Guide to Classical and Modern Model Theory, Kluwer 2003