Angus MacIntyre
| Angus MacIntyre | |
|---|---|
| Born | Angus John MacIntyre 1941 (age 75–76) |
| Institutions |
Queen Mary University of London University of Edinburgh University of Oxford Yale University |
| Alma mater |
|
| Thesis | Classifying Pairs of Real-Closed Fields (1968) |
| Doctoral advisor | Dana Scott |
| Doctoral students |
|
| Notable awards | |
|
Website www |
|
Angus John Macintyre FRS,FRSE (born 1941) is a British mathematician and logician known for his work in Model theory, logic, and their applications in algebra, algebraic geometry, and number theory. He is Emeritus Professor of Mathematics, at Queen Mary University of London.
After undergraduate study at the University of Cambridge, he completed his PhD at Stanford University under the supervision of Dana Scott in 1968.
From 1973 to 1985, he was Professor of Mathematics at Yale University, where he taught combined graduate and undergraduate courses in recursive function theory and philosophical foundations of mathematics. From 1985 to 1999, he was Professor of Mathematical Logic 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 (ICMS) 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 influential in 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 (in analogy with that for the real field) as shown by Jan Denef and Lou van den Dries. The 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. Macintyre worked with Zoé Chatzidakis and Lou van den Dries on definable sets over finite fields (generalizing the Lang-Weil estimates of Serge Lang and Andre Weil to definable sets). He initiated the model theory of difference fields and of Frobenius automorphisms. His work on first-order aspects of intersection theory relates to Alexander Grothendieck's standard conjectures on algebraic cycles.
...
Wikipedia