Believing the Axioms. I Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 2. (Jun., 1988), pp[removed].

First Page		Document Content
Date: 2007-11-05 14:40:52 Axioms of set theory Z notation Urelements Cardinal numbers Infinity Zermelo set theory Zermelo–Fraenkel set theory S Axiom of choice Mathematical logic Set theory Mathematics		Believing the Axioms. I Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 2. (Jun., 1988), pp[removed]. Add to Reading List Source URL: www.cs.umd.edu Download Document from Source Website File Size: 688,70 KB Share Document on Facebook

	Realizability for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A. DocID: 1nKls - View Document
	The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A. DocID: 1nsa4 - View Document
	Lifschitz Realizability for Intuitionistic Zermelo-Fraenkel Set Theory RAY-MING CHEN, School of Mathematics, University of Leeds Leeds LS2 9JT, UK, E-mail: MICHAEL RATHJEN, School of Mathematics, Un DocID: 1nk5b - View Document
	Chapter 15 Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions Michael Rathjen DocID: 1n7Wl - View Document
	Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience Michael Rathjen Department of Pure Mathematics University of Leeds, Leeds LS2 9JT, England E-mail: DocID: 1mBRQ - View Document