Teaching

Model theory, Harvard Math 146

During the course-time we can venture into various model-theoretic continents including frameworks for:

1. geometry of differential equations and differential Galois theory (stability);
2. difference equations, pseudo-finite fields (simplicity);
3. tame topology and real-algebraic geometry (o-minimality);
4. valued fields, tame non-Archimedean geometry (NIP, generic stability).

Depending on the interests of the audience we will choose one or multiple directions and from time to time we will supplement the lectures with examples from the corresponding regions. Here are sample exercises from the above topics:

1. Differential equations
2. Pseudo-finite fields
3. o-minimality
4. Valued fields

Lecture notes (28 October 2026): model theory

Exercise sheets:

1. sheet 1
2. sheet 2
3. sheet 3
4. sheet 4
5. sheet 5
6. sheet 6
7. sheet 7
8. sheet 8
9. sheet 9 - the Differential equations exercise sheet above