O-minimality and Diophantine geometry

School of Mathematics, University of Manchester, 8th - 12th July 2013

The last five years have seen a surprising and fruitful interaction between o-minimality, a branch of model theory, and diophantine geometry. The most spectacular outcome of this interaction is Pila's proof of the André-Oort conjecture for products of modular curves. There have been further important developments by several mathematicians including Masser, Zannier, Ullmo, Yafaev, Habegger, and Pila.

The aim of this LMS-EPSRC Short Course is to introduce students in both model theory and number theory to these recent developments.