constructive set theory

set theory in the spirit of constructive mathematics

There are two main axiom systems:

- The impredicative IZF which includes the power set or power object axiom.
- The variant CZF for predicative mathematics . This system can be interpreted in predicative type theory.

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*, 2001 (pdf, pdf)

See also

- Wikipedia,
*Constructive set theory*

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