Generic absoluteness

Annals of Pure and Applied Logic

Volumn 108, Issue 1-3, 2001, Pages 3-13

  Bagaria, Joan ^a   Friedman, Sy D ^b,c  

^a UNIVERSITY OF BARCELONA   (Spain)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c UNIVERSITY OF VIENNA   (Austria)

Author keywords

03E15; 03E35; 03E45; 03E55; Absoluteness; Descriptive set theory; Large cardinals

Indexed keywords

EID: 0348201936     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(00)00038-5     Document Type: Article

References (17)

1. J. Bagaria, Definable forcing and regularity properties of projective sets of reals, Ph.D. Thesis, Berkeley, 1991.
2. Bagaria J. A characterization of Martin's axiom in terms of absoluteness. J. Symbolic Logic. 62(2):1997;366-372.
3. Bagaria J. Bounded forcing axioms as principles of generic absoluteness. Arch. Math. Logic. 39:2000;393-401.
4. J. Bagaria, R. Bosch, Solovay models and ccc forcing extensions, preprint, 1998.
5. Baumgartner J. Iterated forcing. Mathias A.R.D. Surveys in Set Theory, London Mathematical Society Lecture Note Series. Vol. 87:1983;1-59 Cambridge University Press, Cambridge.
6. Baumgartner J.E., Harrington L.A., Kleinberg E.M. Adding a closed unbounded set. J. Symbolic Logic. 41:1976;481-482.
7. David R. Some applications of Jensen's coding theorem. Ann. Math. Logic. 22:1982;177-196.
8. Devlin K. Constructibility. 1984;Springer, Berlin.
9. Q. Feng, M. Magidor, H. Woodin, Universally Baire sets of reals, in: H. Judah, W. Just, H. Woodin (Eds.), Set Theory of the Continuum, MSRI, Vol. 26, Springer, 1992, pp. 203-242.
10. Foreman M., Magidor M., Shelah S. Martin's Maximum, saturated ideals, and non-regular ultrafilters, Part I. Ann. of Math. 127:1988;1-47.
11. 1 facts Proc. Amer. Math Soc. 127:1999;3707-3709.
12. Goldstern M., Shelah S. The bounded proper forcing axiom. J. Symbolic Logic. 60(1):1995;58-73.
13. Harrington L., Shelah S. Some exact equiconsistency results in set theory. Notre Dame J. Formal Logic. 26(2):1985;178-188.
14. Hauser K. The consistency strength of projective absoluteness. Ann. Pure Appl. Logic. 74:1995;245-295.
15. Jech T. Set Theory. 1978;Academic Press, New York.
16. R.B. Jensen, R.M. Solovay, Some applications of almost disjoint sets, in: Y. Bar-Hillel (Ed.), Mathematical Logic and Foundations of Set Theory, North-Holland, Amsterdam, 1970, pp. 84-104.
17. W. Hugh Woodin, On the consistency strength of projective uniformization, Logic Colloquium '81, North-Holland, Amsterdam, 1982, pp. 365-383.