Mathematician:Peter Henry George Aczel

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

 * Aczel's Anti-Foundation Axiom

Publications

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