This is the webpage for Advanced Mathematical Logic II - Advanced Model Theory (V4A8).
Prerequisites: Participants should have taken a course on basic model theory before, for example Advanced Mathematical Logic: Model Theory. The course will be about stability theory.
Office hour: Thursday 10-11:30 am.
The exercise must be submitted on e-campus by 2pm every Monday. The exercise sheet will be posted on e-campus one week prior, also on Monday.
Exam week: 03/02/2025-07/02/2025.
Result of the Course Evaluation.
Winter semester 2024/2025:
Mondays 14:15-16:00, Wednesdays 12:15-14:00,
We10 Zeichensaal
Artem Chernikov: Lecture notes on stability theory, 2019.
Katrin Tent and Martin Ziegler: A course in model theory, Cambridge University Press, 2012.
Lecture Notes: 1 (introduction), 2 (preliminaries), 3 (stability), 4 (forking in general theories), 5 (forking in simple theories), 6 (forking in stable theories), 7 (stable groups I), 8 (stable groups II).
Frank Wagner: Simple theories, section on the Independence Theorem.
David Marker: Lectures on large stable fields, lecture notes 2,3,4.
Bruno Poizat: Stable groups, section 5.1.
Anand Pillay: Geometric Stability Theory, Oxford University Press, 1996.
Martin Bays: Lecture notes on geometric stability theory.