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.


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.