Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 69, Issue 3 (2004), 742-766.
Solovay models and forcing extensions
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-Σ31 absolutely-ccc forcing extension, and that this is essentially the optimal preservation result, i.e., it does not hold for δ31 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.
J. Symbolic Logic, Volume 69, Issue 3 (2004), 742-766.
First available in Project Euclid: 4 October 2004
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Bagaria, Joan; Bosch, Roger. Solovay models and forcing extensions. J. Symbolic Logic 69 (2004), no. 3, 742--766. doi:10.2178/jsl/1096901764. https://projecteuclid.org/euclid.jsl/1096901764