Solovay models and forcing extensions. (English) Zbl 1070.03031

Summary: We study the preservation under projective ccc forcing extensions of the property of \(L(\mathbb R)\) being a Solovay model. We prove that this property is preserved by every strongly-\({\pmb\Sigma}^1_3\) absolutely-ccc forcing extension, and that this is essentially the optimal preservation result, i.e. it does not hold for \(\Delta^1_3\) 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.


03E15 Descriptive set theory
03E35 Consistency and independence results
Full Text: DOI


[1] DOI: 10.1016/S0168-0072(00)00038-5 · Zbl 0995.03034
[2] DOI: 10.1016/S0168-0072(96)00035-8 · Zbl 0878.03037
[3] Logic Colloquium’81 (1982)
[4] DOI: 10.2307/1970696 · Zbl 0207.00905
[5] DOI: 10.1007/BF02801471 · Zbl 0705.03028
[6] Set theory of the continuum (1992)
[7] Martin Axiom and the size of the continuum 60 pp 374– (1995)
[8] Perspectives in Mathematical Logic (1994)
[9] Mathematical Logic and Foundations of Set Theory (1970)
[10] Set Theory (2003)
[11] Souslin forcing 53 pp 1188– (1988)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.