Set Theory: Constructive and Intuitionistic ZF

[Revised entry by Laura Crosilla on February 19, 2014. Changes to: Main text, Bibliography, axioms-CZF-IZF.html, incompatible-set-axs.html, notes.html] Constructive and intuitionistic
Philosophy News image
[Revised entry by Laura Crosilla on February 19, 2014. Changes to: Main text, Bibliography, axioms-CZF-IZF.html, incompatible-set-axs.html, notes.html] Constructive and intuitionistic Zermelo-Fraenkel set theories are axiomatic theories of sets in the style of Zermelo-Fraenkel set theory (ZF)...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus