nLab
constructive set theory

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.

References

Last revised on July 21, 2015 at 10:07:59. See the history of this page for a list of all contributions to it.