Peter Aczel

Source: Wikipedia, the free encyclopedia.
Peter Aczel
Reflexive sets
Scientific career
FieldsMathematical logic
Institutions
John Newsome Crossley
Websitewww.cs.man.ac.uk/~petera/

Peter Henry George Aczel (

School of Mathematics at the University of Manchester.[1] He is known for his work in non-well-founded set theory,[2] constructive set theory,[3][4] and Frege structures.[5][6]

Education

Aczel completed his

Career and research

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.[7] He was a visiting scholar at the Institute for Advanced Study in 2012.[9]

Aczel was on the editorial board of the Notre Dame Journal of Formal Logic[10] and the Cambridge Tracts in Theoretical Computer Science, having previously served on the editorial boards of the Journal of Symbolic Logic and the Annals of Pure and Applied Logic.[7][11]

References

  1. ^ a b Peter Aczel at the Mathematics Genealogy Project
  2. ^ Moss, Lawrence S. (February 20, 2018). Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University – via Stanford Encyclopedia of Philosophy.
  3. .
  4. .
  5. .
  6. ^ Peter Aczel at DBLP Bibliography Server Edit this at Wikidata
  7. ^ a b c "Peter Aczel page the University of Manchester".
  8. ^ Aczel, Peter (1966). Mathematical problems in logic (DPhil thesis). University of Oxford.(subscription required)
  9. ^ "Scholars". Institute for Advanced Study. 14 August 2015.
  10. ^ Dame, Marketing Communications: Web | University of Notre. "Notre Dame Journal of Formal Logic". Notre Dame Journal of Formal Logic.{{cite web}}: CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link)
  11. ^ "Annals of Pure and Applied Logic" – via www.journals.elsevier.com.

External links

Media related to Peter Aczel at Wikimedia Commons