A 1968 doctoral thesis at Stanford University, supervised by Dana Scott, marked the beginning of a research career that redefined the application of model theory to algebra and number theory. Angus Macintyre, a British mathematician, established foundational results in geometric stability theory and p-adic field analysis that influenced decades of subsequent mathematical investigation.
Academic Appointments
His career included an extended tenure at Yale University from 1973 to 1985. He subsequently served as Professor of Mathematical Logic at Merton College, University of Oxford, between 1985 and 1999. Following this, he held positions at the University of Edinburgh and Queen Mary University of London. He also served as the inaugural Scientific Director of the International Centre for Mathematical Sciences in Edinburgh.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Model Theory and Algebraic Foundations
In 1971, Macintyre classified aleph-one categorical theories of groups and fields, providing a framework for geometric stability theory. By 1976, he proved a quantifier elimination theorem for p-adic fields. This work enabled developments in semi-algebraic and subanalytic geometry, which Jan Denef later applied to prove the rationality of p-adic Poincaré series. His research further expanded to difference fields, Frobenius automorphisms, and intersection theory, where he connected model-theoretic methods to the standard conjectures on algebraic cycles.
Exponentiation and O-minimality
Collaborations with Alex Wilkie, Lou van den Dries, and David Marker allowed Macintyre to address complex problems in transcendental number theory. With Wilkie, he proved the decidability of real exponential fields, conditional on Schanuel's conjecture. Alongside van den Dries and Marker, he investigated the model theory of the real field with restricted analytic functions, creating a foundation for studies in O-minimality and Diophantine geometry. His work also touches on VC-dimension, yielding applications in theoretical computer science and neural networks.
Recent Contributions and Professional Recognition
Macintyre has consistently engaged with the theoretical structure of number fields. Collaborating with Jamshid Derakhshan, he developed a model theory for the adele ring, extending the foundational work of Solomon Feferman and Robert Vaught. In 2023, Derakhshan and Macintyre affirmatively solved a 1968 decision problem posed by James Ax regarding the theory of finite fields. Macintyre is a Fellow of the Royal Society and the Royal Society of Edinburgh. He received the Pólya Prize in 2003 and served as President of the London Mathematical Society from 2009 to 2011.
Fast facts
- Born: 1941
- Citizenship: United Kingdom
- Doctoral Supervision: Dana Scott
- Gödel Lecturer: 1993
- Fellow of the Royal Society: Elected 1993
- Pólya Prize: 2003
- LMS President: 2009–2011
Questions readers ask
What is Macintyre’s primary field of expertise?
He is a mathematician and logician specializing in model theory and its applications to algebra, algebraic geometry, and number theory.
Which major mathematical problem did he solve in 2023?
Working with Jamshid Derakhshan, he proved the decidability of the class of all Z/mZ, resolving a 1968 conjecture by James Ax.
Achievements
- Fellow of the Royal Society
- Pólya Prize — 2003
- Fellow of the Royal Society of Edinburgh
- Held posts at Queen Mary University of London, University of Edinburgh and University of Canterbury
- Fields: model theory
