Abstract
There are two obvious approaches to constructive set theory: (i) Carefully add some set variables to a simpler theory, cautiously add some axioms about them, and try to explain the constructive meaning of the theory, (ii) Start with classical set theory, throw out the law of the excluded middle and any axioms which imply it, and see what is left over. We shall begin with the second approach; the first approach will be followed in Chap. X.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Beeson, M.J. (1985). Constructive Set Theories. In: Foundations of Constructive Mathematics. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol 6. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68952-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-68952-9_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-68954-3
Online ISBN: 978-3-642-68952-9
eBook Packages: Springer Book Archive