Mathematician:Peter Henry George Aczel

From ProofWiki
Jump to navigation Jump to search

Mathematician

British mathematician and logician known for his work in non-well-founded set theory, constructive set theory, and Frege structures.


Nationality

British


History

  • Born: 31 October 1941


Theorems and Definitions

Axioms named for Peter Henry George Aczel can be found here.


Publications

  • 1966: Mathematical Problems in Logic
  • 1988: Non-Well-Founded Sets