Skip to main content Accessibility help

Solovay models and forcing extensions

  • Joan Bagaria (a1) and Roger Bosch (a2)


We study the preservation under projective ccc forcing extensions of the property of L(ℝ) being a Solovay model. We prove that this property is preserved by every strongly- absolutely-ccc forcing extension, and that this is essentially the optimal preservation result, i.e., it does not hold for absolutely-ccc forcing notions. We extend these results to the higher projective classes of ccc posets, and to the class of all projective ccc posets, using definably-Mahlo cardinals. As a consequence we obtain an exact equiconsistency result for generic absoluteness under projective absolutely-ccc forcing notions.



Hide All
[1]Bagaria, J., Definable forcing and regularity properties of projective sets of reals, Ph.D. thesis, University of California at Berkeley, 1991.
[2]Bagaria, J. and Bosch, R., Projective forcing, Annals of Pure and Applied Logic, vol. 86 (1997), pp. 237266.
[3]Bagaria, J. and Bosch, R., Proper forcing extensions and Solovay models, to appear.
[4]Bagaria, J. and Friedman, S., Generic absoluteness, Annals of Pure and Applied Logic, vol. 108 (2001), pp. 313.
[5]Bagaria, J. and Judah, H., Amoeba forcing, Suslin absoluteness and additivity of measure, Set theory of the continuum (Judah, H., Just, W., and Woodin, W. H., editors), MSRI, Berkeley, Springer-Verlag, Berlin, 1992.
[6]Jech, T., Set Theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, Heidelberg, 2003, The third millenium edition, revised and expanded.
[7]Jensen, R. B. and Solovay, R. M., Some applications of almost disjoint sets, Mathematical Logic and Foundations of Set Theory (Bar-Hillel, Y., editor), North Holland, Amsterdam, 1970.
[8]Judah, H. and Rosłanowski, A., Martin Axiom and the size of the continuum, this Journal, vol. 60 (1995), pp. 374391.
[9]Judah, H. and Shelah, S., Souslin forcing, this Journal, vol. 53 (1988), pp. 11881207.
[10]Kanamori, A., The higher infinite: Large cardinals in set theory from their beginnings, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1994.
[11]Shelah, S. and Woodin, W. H., Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable, Israel Journal of Mathematics, vol. 70 (1990), no. 3, pp. 381394.
[12]Solovay, R., A model of set theory in which every set of reals is Lebesgue measurable, Annals of Mathematics, vol. 92 (1970), pp. 156.
[13]Woodin, W. H., On the consistency strength of projective uniformization, Logic Colloquium'81 (Stern, J., editor), North-Holland, Amsterdam, 1982.


Related content

Powered by UNSILO

Solovay models and forcing extensions

  • Joan Bagaria (a1) and Roger Bosch (a2)


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.