set theory in the spirit of constructive mathematics
There are two main axiom systems:
Algebraic set theory is a categorical presentation of such set theories.
Some more information can be found at ZFC. Perhaps this should be moved here.
Peter Aczel, Michael Rathjen, Notes on Constructive Set theory, PDF
Wikipedia, Constructive set theory
Last revised on July 21, 2015 at 10:07:59. See the history of this page for a list of all contributions to it.