Abstract.
We study the preservation of the property of being a Solovay model under proper projective forcing extensions. We show that every strongly-proper forcing notion preserves this property. This yields that the consistency strength of the absoluteness of under strongly-proper forcing notions is that of the existence of an inaccessible cardinal. Further, the absoluteness of under projective strongly-proper forcing notions is consistent relative to the existence of a -Mahlo cardinal. We also show that the consistency strength of the absoluteness of under forcing extensions with σ-linked forcing notions is exactly that of the existence of a Mahlo cardinal, in contrast with the general ccc case, which requires a weakly-compact cardinal.
Similar content being viewed by others
References
Bagaria, J.: Definable forcing and regularity properties of projective sets of reals. Ph. D. Thesis. University of California, Berkeley, 1991
Bagaria, J.: Suslin forcing and Lebesgue measurability. Preprint 2003
Bagaria, J., Bosch, R.: Projective forcing. Ann. Pure Appl. Logic 86, 237–266 (1997)
Bagaria, J., Bosch, R.: Solovay models and ccc forcing extensions. J. Symbolic Logic. To appear
Bagaria, J., Friedman, S.: Generic Absoluteness. Ann. Pure Appl. Logic 108, 3–13 (2001)
Bagaria, J., Judah, H.: 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-Verlag, Berlin, 1992, pp. 155–173
Brendle, J., Judah, H., Shelah, S.: Combinatorial properties of Hechler Forcing. Ann. Pure Appl. Logic 59, 185–199 (1992)
Devlin, K.: Constructibility. Springer-Verlag, Berlin, 1984
Harrington, L., Shelah, S.: Some exact equiconsistency results. Notre Dame J. Formal Logic 26, 178–188 (1985)
Jech, T.: Set Theory. 3rd Edition. Springer Verlag, 2003
Goldstern, M.: Sets of reals and countable support iteration. Ph. D. Thesis. U. C. Berkeley, 1991
Solovay, R.: A model of set theory in which every set of reals is Lebesgue measurable. Ann. Math. 92, 1–56 (1970)
Author information
Authors and Affiliations
Corresponding author
Additional information
Research partially supported by the research projects BFM2002-03236 of the Spanish Ministry of Science and Technology, and 2002SGR 00126 of the Generalitat de Catalunya. The second author was also partially supported by the research project GE01/HUM10, Grupos de excelencia, Principado de Asturias.
Mathematics Subject Classification (2000): 03E15, 03E35
Rights and permissions
About this article
Cite this article
Bagaria, J., Bosch, R. Proper forcing extensions and Solovay models. Arch. Math. Logic 43, 739–750 (2004). https://doi.org/10.1007/s00153-003-0210-2
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-003-0210-2