Advanced Mathematical Logic: Model Theory (V4A7)
Lecturers
- Dr. Philipp Lücke
- Dr. Philipp Schlicht
Time and Date
- Begins in the second week of the semester on Tuesday, Oct 17
- Lecture: Tuesday 10.15 - 12.00 and Thursday 8.15-10.00, seminar room 0.011
- Tutorial: Monday 10.15-12.00, seminar room 0.011, Andreas Lietz
Contents
Model theory studies classes of models of a first-order theory, for instance groups, fields and graphs, and their abstract properties. An example of such a property is categoricity in a cardinal - the condition that there is exactly one model of this size up to isomorphism. We will study various topics in model theory - possible topics include quantifier elimination, types, categorical theories, Morleyâ€™s theorem, stability theory. Model theory is strongly connected with and motivated by algebraic examples, which we will study in the lecture.
Literature: Marker - Model theory: An Introduction. Tent, Ziegler - A Course in Model Theory