From 1973 to 1985, he was Professor of Mathematics at Yale University. From 1985 to 1999, he was Professor of Mathematical Logic at Merton College at the University of Oxford. In 1999, Macintyre moved to the University of Edinburgh, where he was Professor of Mathematics until 2002, when he moved to Queen Mary College, University of London. Macintyre was the first Scientific Director of the International Centre for Mathematical Sciences in Edinburgh. Macintyre is known for many important results. These include classification of aleph-one categorical theories of groups and fields in 1971, which was very influential in the development of geometric stability theory. In 1976, he proved a result on quantifier elimination for p-adic fields from which a theory of semi-algebraic and subanalytic geometry for p-adic fields follows as shown by Jan Denef and Lou van den Dries and others. This quantifier elimination theorem was used by Jan Denef in 1984 to prove a conjecture of Jean-Pierre Serre on rationality of various p-adic Poincaré series, and subsequently these methods have been applied to prove rationality of a wide range of generating functions in group theory and number theory by various authors, notably Dan Segal and Marcus du Sautoy. Macintyre worked with Zoé Chatzidakis and Lou van den Dries on definable sets over finite fields generalising the estimates of Serge Lang and André Weil to definable sets an revisiting the work of James Ax on the logic of finite and pseudofinite fields. He initiated and proved results on the model theory of difference fields and of Frobenius automorphisms, where he proved extensions of Ax's work to this setting. Independently Ehud Hrushovski has proved model-theoretic results on Frobenius automorphisms. Macintyre developed a first-order model theory for intersection theory and showed connections to Alexander Grothendieck's standard conjectures on algebraic cycles. Macintyre has proved many results on the model theory of real and complex exponentiation. With Alex Wilkie he proved the decidability of real exponential fields modulo Schanuel's conjecture from transcendental number theory. With Lou van den Dries he initiated and studied the model theory of logarithmic-exponential series and Hardy fields. Together with David Marker and Lou van den Dries, he proved several results on the model theory of the real field equipped with restricted analytic functions, which has had many applications to exponentiation and O-minimality. The work of van den Dries-Macintyre-Marker has found many applications to Diophantine geometry on Shimura varieties and representation theory. Macintyre has proved results on Boris Zilber's theory of the complex exponentiation, and Zilber's pseudo-exponential fields. Macintyre and Jamshid Derakhshan have developed a model theory for the adele ring of a number field where they prove results on quantifier elimination and measurability of definable sets. They use and extend foundational work by Solomon Feferman and Robert Vaught on the first-order theory of products of algebraic structures. The adele ring was introduced by Claude Chevalley. The initial purpose for introducing adeles was simplifying and clarifying class field theory. It quickly found applications in a wide range of problems in number theory after John Tate's thesis, the work of André Weil and Tsuneo Tamagawa on adelic groups and varieties, and work of Robert Langlands and others around the Langlands program. Macintyre and Marek Karpinski have proved several results on VC-dimension, which has had applications to theoretical computer science and neural networks.
