Angus Matthews (University of Leeds) – The model theory of C_exp, part II: The Ax-Schanuel theorem

Having outlined the problems, this seminar will be devoted to describing the tools which have been developed to help us solve them. First and foremost of these is the Ax-Schanuel theorem, the functional equivalent of Schanuel's conjecture. We will give a proof, and then discuss how this is applied to prove weak Zilber-Pink, another highly useful result. Given time, we will also explain how it was used by Bays-Kirby to remove Schanuel's conjecture from the list of requirements necessary for Zilber's Quasi-minimality conjecture.