*** Welcome to piglix ***

Peter Aczel

Peter Aczel
Aczel Rathjen.jpg
Peter Aczel (left) with Michael Rathjen, Oberwolfach 2004
Born Peter Henry George Aczel
(1941-10-31) 31 October 1941 (age 75)
Institutions
Alma mater University of Oxford
Thesis Mathematical problems in logic (1967)
Doctoral advisor John Newsome Crossley
Doctoral students
  • Joao Filipe Castel-Branco Belo
  • Christopher Martin Fox
  • Nicola Gambino
  • Gilles Jacques Barthe
  • George Koletsos
  • Jouko Antero Väänänen
Known for Aczel's anti-foundation axiom
Website
www.cs.man.ac.uk/~petera/

Peter Henry George Aczel (/ˈæksəl/; born October 31, 1941) is a British mathematician, logician and Emeritus joint Professor in the School of Computer Science and the School of Mathematics at the University of Manchester. He is known for his work in non-well-founded set theory,constructive set theory, and Frege structures.

Aczel completed his Bachelor of Arts in Mathematics in 1963 followed by a DPhil at the University of Oxford in 1966 under the supervision of John Crossley.

After two years of visiting positions at the University of Wisconsin–Madison and Rutgers University Aczel took a position at the University of Manchester. He has also held visiting positions at the University of Oslo, California Institute of Technology, Utrecht University, Stanford University and Indiana University Bloomington. He was a visiting scholar at the Institute for Advanced Study in 2012.


...
Wikipedia

...