Title  A Philosophical Approach to Model Theory 
Lecturer  Péter Mekis 
Codes  BBNFIL401.104, BMALOTD203.03, BMAFILD401.104, TANMFIL401.104, BMILOTD203E.03 
Time  Monday 16:0017:30 
Venue  i 224 
Prerequisites  The course assumes familiarity with the syntax and semantics of standard predicate logic (as discussed in the Logic Lecture). 
Exam  The course ends with an oral exam; students can choose one of the three main theorems covered in the course. 
Description  Model theory studies the relationship between formal theories and the structures that satisfy them. This course offers a technically mild, philosophically detailed introduction to the subject. After setting the stage, we will prove the following three basic theorems following the course:
Students who intend to have a deeper understanding of the subject will find a more advanced discussion in Zalán Gyenis' model theory courses. 
Literature 
