Proper forcings and absoluteness in L(ℝ)

Commentationes Mathematicae Universitatis Carolinae

Volumn 39, Issue 2, 1998, Pages 281-301

  Neeman, Itay ^a   Zapletal, Jindřich ^b  

^a HARVARD UNIVERSITY   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Large cardinals; Proper forcing

Indexed keywords

EID: 0007388056     PISSN: 00102628     EISSN: 12137243     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Beller A., Jensen R.B., Welch P., Coding the Universe, Oxford University Press, Ox-ford, 1985
2. Foreman M., Magidor M., Large cardinals and definable counterexamples to the con-tinuum hypothesis, Ann. Pure Appl. Logic 76 (1995), 47-97
3. Foreman M., Magidor M., Shelah S., Martin's Maximum, saturated ideals and nonreg-ular ultrafilters, Ann. Math. 127 (1988), 1-47
4. Hájek P., Vopenka P., The Theory of Semisets, North Holland, Amsterdam, 1972
5. Jech T., Set Theory, Academic Press, New York, 1978
6. Jech T., Magidor M., Mitchell W.J., Prikry K., Precipitous ideals, J. Symbolic Logic 45 (1980), 1-8
7. Moschovakis Y.N., Descriptive Set Theory, North Holland, Amsterdam, 1980
8. Martin D.A., Steel J.R., A proof of projective determinacy, J. Amer. Math. Soc. 2 (1989), 71-125
9. Neeman I., Zapletal J., Proper forcing and L(R), submitted, J. London Math. Soc
10. Schimmerling E., handwritten notes of W.H. Woodin's lectures
11. Shelah S., Proper Forcing, Lecture Notes in Math. 940, Springer Verlag, Berlin, 1981
12. Woodin W.H., Supercompact cardinals, sets of reals and weakly homogeneous trees, Proc. Natl. Acad. Sci. USA 85 (1988), 6587-6591
13. Woodin W.H., The axiom of determinacy, forcing axioms and the nonstationary ideal, to appear