Model theory and applications to number theory

We can offer a range of topics in pure model theory, and applications of model theory to number theory. Particular interests include amalgamation constructions and their associated geometries, stability theory in an abstract setting, and the model theory of exponentiation. There are strong connections between model theory and Diophantine geometry, including recent progress on the Zilber-Pink conjecture by Jonathan Pila and others. There are both analytic methods (using the model theory of o-minimality) and algebraic methods (based on Zilber’s ideas around exponentiation). We can also offer suitable projects in this area. Any interested student is invited to contact Dr Jonathan Kirby ([Email Address Removed]) to discuss an application.

This project is open to any applicants (home, EU or Overseas) who have their own funding.

Minimum enrty requirement is a 1st in Mathematics. Some background in logic, algebraic geometry, number theory, or algebra would be an advantage.