Abstract | ||
---|---|---|
We study the preservation under projective ccc forcing extensions of the property of L(R) being a Solovay model. We prove that this property is preserved by every strongly-Sigma(3)(1) absolutely-coc forcing extension, and that this is essentially the optimal preservation result, i.e., it does not hold for Delta(3)(1) 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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.2178/jsl/1096901764 | JOURNAL OF SYMBOLIC LOGIC |
Keywords | DocType | Volume |
Solovay models,generic absoluteness,definably-Mahlo cardinals,productive-ccc partial orderings | Journal | 69 |
Issue | ISSN | Citations |
3 | 0022-4812 | 5 |
PageRank | References | Authors |
0.93 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joan Bagaria | 1 | 63 | 13.15 |
Roger Bosch | 2 | 11 | 2.97 |