Title | A Philosophical Approach to Model Theory |
Lecturer | Péter Mekis |
Codes | BBN-FIL-401.104, BMA-LOTD-203.03, BMA-FILD-401.104, TANM-FIL-401.104, BMI-LOTD-203E.03 |
Time | Monday 16:00-17: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 |
|