Logic List Mailing Archive

Angus MacIntyre wins Polya Prize of the LMS

http://www.lms.ac.uk/activities/prizes_com/citations03.html
http://www.lms.ac.uk/activities/prizes_com/pastwinners.html

PROFESSOR ANGUS MACINTYRE FRS of the University of Edinburgh, is awarded
the Polya Prize of the London Mathematical Society for his widely
influential contributions to model theory and its applications.

Over the last thirty years he has found many new applications of model
theory in algebra, geometry, number theory, asymptotics and theoretical
computer science. His work established a theory of p-adic semi-algebraic
sets, and has since been widely used in p-adic contexts, for example to
prove a conjecture of Serre on the rationality of Poincar series. His
papers on totally transcendental fields and on algebraic groups created
new paradigms for research in these areas. His work on the first-order
content of Weil cohomology has opened up new possibilities for applying
model theory in algebraic geometry.