|Title||A Philosophical Approach to Model Theory|
|Codes||BBN-FIL-401.104, BMA-LOTD-203.03, BMA-FILD-401.104, TANM-FIL-401.104, BMI-LOTD-203E.03|
|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.