nLab constructive set theory

Contents

Context

Constructivism, Realizability, Computability

Foundations

Contents

Idea

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 December 16, 2021 at 03:00:06. See the history of this page for a list of all contributions to it.