Model Theory of Complex Powers (KIRBYJ_U26SCI)
Key Details
- Application Deadline
- Wednesday 10 December 2025, midnight GMT
- Location
- UEA
- Funding Type
- Competition funded project (Home students only)
- Start Date
- 1 October 2026
- Mode of Study
- Full-time
- Programme Type
- PhD
)
Welcome to Norwich
According to the Sunday Times, this city is one of the best places to live in the UK.
Project Description
Project Supervisor - Dr Jonathan Kirby
The field of complex numbers is in many ways the most elegant and important example of a mathematical structure in model theory. It has been the prototype for many developments in model theory, starting with strong minimality, as well as providing some of the most important applications where model-theoretic tools are applied to algebraic geometry.
After the field operations of addition and multiplication, raising to a fixed power is the most basic and universal operation in mathematics. However, the model theory of the complex field with fixed (irrational) powers is only just starting to be understood, following on from seminal work of Zilber which showed that when we restrict to a sufficiently generic power we get a superstable first-order theory. More recent work of Gallinaro and Kirby shows that the complex field with all complex powers is quasiminimal – the definable subsets are countable or co-countable – so in particular the real field is not definable.
This project will investigate both the algebra of these powered fields and the model theory, aiming to give a description of all the definable sets, and of their geometry. This geometry is intermediate between the algebraic geometry of algebraic varieties (which deals with polynomial equations only) and analytic geometry (which allows more general analytic functions).
Applicants should have some knowledge of mathematical logic or Galois theory or algebraic geometry. Knowledge of model theory would be an advantage but is not essential. They are advised to contact Dr Kirby directly to discuss their application.
References
References:
Jonathan Kirby: An Invitation to Model Theory, Cambridge University Press, 2019
Francesco Gallinaro, Jonathan Kirby: Quasiminimality of Complex Powers, Forum of Mathematics, Sigma 12 (2024)
Katrin Tent and Martin Ziegler, A Course in Model Theory , Cambridge University Press, Cambridge, 2012.
Entry Requirements
Acceptable first degree - Mathematics.
1st class BSc or 2:1 Masters or equivalent.
Funding
This PhD project is in a competition for a Faculty of Science funded studentship. Funding is available to UK applicants and comprises ‘home’ tuition fees and an annual stipend for 3 years.