Journal of Symbolic Logic 49 (1):161 - 173 (1984)

Abstract
We prove the following Main Theorem: $ZF + AD + V = L(R) \Rightarrow DC$ . As a corollary we have that $\operatorname{Con}(ZF + AD) \Rightarrow \operatorname{Con}(ZF + AD + DC)$ . Combined with the result of Woodin that $\operatorname{Con}(ZF + AD) \Rightarrow \operatorname{Con}(ZF + AD + \neg AC^\omega)$ it follows that DC (as well as AC ω ) is independent relative to ZF + AD. It is finally shown (jointly with H. Woodin) that ZF + AD + ¬ DC R , where DC R is DC restricted to reals, implies the consistency of ZF + AD + DC, in fact implies R # (i.e. the sharp of L(R)) exists
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274099
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,645
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

The Consistency Strength of Projective Absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.
The Real Core Model and its Scales.Daniel W. Cunningham - 1995 - Annals of Pure and Applied Logic 72 (3):213-289.
Is There a Set of Reals Not in K?Daniel W. Cunningham - 1998 - Annals of Pure and Applied Logic 92 (2):161-210.
A Covering Lemma for L(ℝ).Daniel W. Cunningham - 2002 - Archive for Mathematical Logic 41 (1):49-54.
Shadows of the Axiom of Choice in the Universe $$L$$.Jan Mycielski & Grzegorz Tomkowicz - 2018 - Archive for Mathematical Logic 57 (5-6):607-616.

View all 9 citations / Add more citations

Similar books and articles

Generic Trees.Otmar Spinas - 1995 - Journal of Symbolic Logic 60 (3):705-726.
A Small Reflection Principle for Bounded Arithmetic.Rineke Verbrugge & Albert Visser - 1994 - Journal of Symbolic Logic 59 (3):785-812.
Strong Analogues of Martin's Axiom Imply Axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
Stretchings.O. Finkel & J. P. Ressayre - 1996 - Journal of Symbolic Logic 61 (2):563-585.
Consequences of Arithmetic for Set Theory.Lorenz Halbeisen & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):30-40.
On a Problem of C. H. Dowker.Z. Balogh & G. Gruenhage - 1991 - Journal of Symbolic Logic 56 (4):1284-1289.

Analytics

Added to PP index
2009-01-28

Total views
97 ( #97,650 of 2,349,061 )

Recent downloads (6 months)
2 ( #330,822 of 2,349,061 )

How can I increase my downloads?

Downloads

My notes