May 28, 2023


Course on the model theory of analytic functions taught by
A. Macintyre (Oxford), P. Speissegger (Fields Institute) and M. Spivakovsky (U. of Toronto)

This course will emphasize the interactions between model theory and subanalytic geometry. The course will begin with a brief introduction to the model theoretic notions of model completeness and quantifier elimination and their interpretations and applications in subanalytic geometry. Results such as the Tarski-Seidenberg theorem and Wilkie's theorem on the model completeness of the real numbers with exponentiation will be discussed. The general notion of o-minimality will be introduced and a variety of applications will be investigated. As time permits, topics such as the model theory of the p-adics and logarithmic-exponential power series will be included.