Arend Heyting Stichting

Constructive set theory - an overview -- Benno van den Berg

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).