nLab
constructive set theory

References

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

See also

Last revised on June 27, 2019 at 12:33:52. See the history of this page for a list of all contributions to it.