## 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