Projective forcing

Annals of Pure and Applied Logic

Volumn 86, Issue 3, 1997, Pages 237-266

  Bagaria, Joan ^a   Bosch, Roger ^b  

^a UNIVERSITY OF BARCELONA   (Spain)

^b UNIVERSITY OF OVIEDO   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031584449     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(96)00035-8     Document Type: Article

References (29)

1. 1-dense sets of reals are isomorphic, Israel J. Math. 38 (1981) 161-176.
2. [2] J. Bagaria, Definable forcing and regularity properties of projective sets of reals, Ph.D. Thesis, University of California, Berkeley, 1991.
3. 3 sets of reals, Ann. Pure Appl. Logic 69 (1994) 1-25.
4. [4] J. Bagaria and H. Judah, Amoeba forcing, Suslin absoluteness, and additivity of measure, in: H. Judah, W. Just and H. Woodin, eds., Set Theory of the Continuum, MSRI Berkeley (Springer, Berlin, 1992).
5. n sets of reals, J. Symbol. Logic, to appear.
6. [6] P. Cohen, The independence of continuum hypothesis I, II, Proc. Natl. Acad. USA 50 (1963) 1143-1148; 51 (1964) 105-110.
7. [6] P. Cohen, The independence of continuum hypothesis I, II, Proc. Natl. Acad. USA 50 (1963) 1143-1148; 51 (1964) 105-110.
8. [7] M. Gitik and S. Shelah, Forcing with ideals and simple forcing notions, Israel J. Math. 68 (1989) 129-160.
9. [8] M. Gitik and S. Shelah, More on simple forcing notions, and forcing with ideals, Ann. Pure Appl. Logic 59 (1993) 219-238.
10. [9] L. Harrington and S. Shelah, Some exact equiconsistency results in set theory, Notre Dame J. Formal Logic 26 (1985) 178-188.
11. [10] F. Hausdorff, Probleme 58, Fund. Math. 20 (1933) 286.
12. ωω, in: T. Jech ed., Axiomatic Set Theory, Vol. II (American Mathematical Society, Providence, RI) (1974).
13. [12] T. Jech, Trees, J. Symbol. Logic 36 (1971) 1-14.
14. [13] T. Jech, Set Theory (Academic Press, New York, 1978).
15. [14] H. Judah and A. Rosłanowski, Martin's axiom and the continuum, J. Symbol. Logic 60 (1995) 374-391.
16. [15] H. Judah, A. Rosłanowski and S. Shelah, Examples for Suslin forcing, unpublished notes.
17. [16] H. Judah and S. Shelah, Souslin forcing, J. Symbol. Logic 53 (1988) 1188-1207.
18. [17] H. Judah and S. Shelah, Martin's axiom, measurability and equiconsistency results, J. Symbol. Logic 54 (1989) 78-94.
19. [18] H. Judah and S. Shelah, Counterexamples for Souslin forcing, preprint, 1990.
20. [19] K. Kunen, Set Theory. An Introduction to Independence Proofs (North-Holland, Amsterdam, 1980).
21. [20] A. Lévy, Independence results in set theory by Cohen's method (IV), Not. Amer. Math. Soc. 10 (1963) 593.
22. [21] D. Martin and R. Solovay, Internal Cohen extensions, Ann. Math. Logic 2 (1970) 143-178.
23. ω, in: Israel Math. Conf. Procs. 6 (1993).
24. [23] S. Shelah, Can you take Solovay's inaccessible away?, Israel J. Math. 48 (1984) 1-47.
25. [24] S. Shelah, How special are Cohen and random forcings, i.e. Boolean algebras of the family of the subsets of reals modulo meager or null, Israel J. Math. 88 (1994) 159-174.
26. [25] R. Solovay, A model of set theory in which every set of reals is lebesgue measurable, Ann. Math. 92 (1970) 1-56.
27. [26] R. Solovay and S. Tennenbaum, Iterated Cohen extensions and Souslin's problem, Ann. Math. 94 (1971) 201-245.
28. [27] S. Tennenbaum, Souslin's problem, Proc. Natl. Acad. USA 59 (1968) 60-63.
29. [28] S. Todorčević, Remarks on Martin's axiom and the continuum hypothesis, Canadian J. Math. 43 (1991) 832-851.