Title
Solovay models and forcing extensions
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 Bagaria16313.15
Roger Bosch2112.97