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 (10 September 2026): model theory

Exercise sheets:

1. sheet 1 - due on 10th September 2026. Send it to amelrod@math.harvard.edu
2. sheet 2 - due on 17th September 2026. Send it to Adam.