Arend Heyting Stichting
|
ABSTRACT I will give an overview of the area of constructive set theory, with special emphasis on Peter Aczel's set theory CZF (for constructive Zermelo-Fraenkel set theory). |
Constructive set theory - an overview -- Benno van den BergABSTRACT I will give an overview of the area of constructive set theory, with special emphasis on Peter Aczel's set theory CZF (for constructive Zermelo-Fraenkel set theory). |