ALGEBRAIC MODEL THEORY PROGRAM
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.
