11 Facts About Angus Macintyre

Angus John Macintyre FRS, FRSE was born on 1941 and is a British mathematician and logician who is a leading figure in model theory, logic, and their applications in algebra, algebraic geometry, and number theory.

Angus Macintyre is Emeritus Professor of Mathematics, at Queen Mary University of London.

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.

Angus Macintyre was the first Scientific Director of the International Centre for Mathematical Sciences in Edinburgh.

Angus Macintyre worked with Zoe Chatzidakis and Lou van den Dries on definable sets over finite fields generalising the estimates of Serge Lang and Andre Weil to definable sets and revisiting the work of James Ax on the logic of finite and pseudofinite fields.

Angus Macintyre 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.

Angus Macintyre developed a first-order model theory for intersection theory and showed connections to Alexander Grothendieck's standard conjectures on algebraic cycles.

Angus Macintyre has proved many results on the model theory of real and complex exponentiation.

The work of van den Dries-Angus Macintyre-Marker has found many applications to Diophantine geometry on Shimura varieties and representation theory.

Angus Macintyre has proved results on Boris Zilber's theory of the complex exponentiation, and Zilber's pseudo-exponential fields.

Angus Macintyre was elected a Fellow of the Royal Society in 1993.