Advanced model theory

This is the webpage for Advanced Mathematical Logic II - Advanced Model Theory (V4A8).

Announcements: 

• 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.

• No lecture or exercise session on December 4 (Dies Academicus) and December 23.

• No exercise session on January 8. 

• No office hour on December 19.

Basic information:

Winter semester 2024/2025:

Mondays 14:15-16:00, Wednesdays 12:15-14:00, 

We10 Zeichensaal

Course Material:

Main reference: 

• 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),

• Frank Wagner: Simple theories, section on the Independence Theorem.

Further reference:

• Anand Pillay: Geometric Stability Theory, Oxford University Press, 1996.

• Martin Bays: Lecture notes on geometric stability theory.