Graduate studies at Western
Logic and Analysis 1 (2):131-152 (2008)
|Abstract||In order to build the collection of Cauchy reals as a set in constructive set theory, the only power set-like principle needed is exponentiation. In contrast, the proof that the Dedekind reals form a set has seemed to require more than that. The main purpose here is to show that exponentiation alone does not suffice for the latter, by furnishing a Kripke model of constructive set theory, Constructive Zermelo–Fraenkel set theory with subset collection replaced by exponentiation, in which the Cauchy reals form a set while the Dedekind reals constitute a proper class|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren & Peter Schuster (2006). Binary Refinement Implies Discrete Exponentiation. Studia Logica 84 (3):361 - 368.
Laura Crosilla, Hajime Ishihara & Peter Schuster (2005). On Constructing Completions. Journal of Symbolic Logic 70 (3):969-978.
Arnold W. Miller (1983). Mapping a Set of Reals Onto the Reals. Journal of Symbolic Logic 48 (3):575-584.
Andreas Blass (1981). The Model of Set Theory Generated by Countably Many Generic Reals. Journal of Symbolic Logic 46 (4):732-752.
Alexander S. Kechris (1978). The Perfect Set Theorem and Definable Wellorderings of the Continuum. Journal of Symbolic Logic 43 (4):630-634.
Audrey Yap (2009). Predicativity and Structuralism in Dedekind's Construction of the Reals. Erkenntnis 71 (2):157 - 173.
Sy D. Friedman & Ralf Schindler (2003). Universally Baire Sets and Definable Well-Orderings of the Reals. Journal of Symbolic Logic 68 (4):1065-1081.
Johanna N. Y. Franklin (2010). Subclasses of the Weakly Random Reals. Notre Dame Journal of Formal Logic 51 (4):417-426.
Alexander Raichev (2005). Relative Randomness and Real Closed Fields. Journal of Symbolic Logic 70 (1):319 - 330.
Janusz Pawlikowski (2001). Cohen Reals From Small Forcings. Journal of Symbolic Logic 66 (1):318-324.
Michael Rathjen (2005). The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory. Journal of Symbolic Logic 70 (4):1233 - 1254.
George Barmpalias (2010). Relative Randomness and Cardinality. Notre Dame Journal of Formal Logic 51 (2):195-205.
John L. Bell (1999). Frege's Theorem in a Constructive Setting. Journal of Symbolic Logic 64 (2):486-488.
Vladimir Kanovei (1999). On Non-Wellfounded Iterations of the Perfect Set Forcing. Journal of Symbolic Logic 64 (2):551-574.
Added to index2010-08-24
Total downloads5 ( #170,343 of 739,080 )
Recent downloads (6 months)1 ( #61,778 of 739,080 )
How can I increase my downloads?