-------------------------------------------------------------------------
Leeds Logic Seminar
Weak Constructive Set Theory
In parts of our planned monograph on Constructive Set Theory Michael
Rathjen and I have been concerned to present the set theoretical
approach to elementary constructive mathematics in as straightforward a
way as possible. Only relatively weak principles of constructive
mathematics are needed for most purposes. In my talk I will introduce
and discuss some of those weak principles and the relationships between
them.
Peter Aczel
--------------------------------------------------------------------------