Solovay models and forcing extensions

被引:6
|
作者
Bagaria, J [1 ]
Bosch, R
机构
[1] Univ Barcelona, ICREA, E-08028 Barcelona, Catalonia, Spain
[2] Univ Barcelona, Dept Log Hist & Filosofia Ciencia, E-08028 Barcelona, Catalonia, Spain
[3] Univ Oviedo, Dept Filosofia, E-33071 Oviedo, Spain
关键词
Solovay models; generic absoluteness; definably-Mahlo cardinals; productive-ccc partial orderings;
D O I
10.2178/jsl/1096901764
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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.
引用
收藏
页码:742 / 766
页数:25
相关论文
共 50 条
  • [1] Proper forcing extensions and Solovay models
    Bagaria, J
    Bosch, R
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2004, 43 (06) : 739 - 750
  • [2] Proper forcing extensions and Solovay models
    Joan Bagaria
    Roger Bosch
    [J]. Archive for Mathematical Logic, 2004, 43 : 739 - 750
  • [3] On the extensions of Solovay-reducibility
    Zheng, XZ
    Rettinger, R
    [J]. COMPUTING AND COMBINATORICS, PROCEEDINGS, 2004, 3106 : 360 - 369
  • [4] Solovay-type characterizations for forcing-algebras
    Brendle, J
    Löwe, B
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (03) : 1307 - 1323
  • [5] Gap forcing: Generalizing the Levy-Solovay theorem
    Hamkins, JD
    [J]. BULLETIN OF SYMBOLIC LOGIC, 1999, 5 (02) : 264 - 272
  • [6] Factoring Solovay-random extensions, with application to the reduction property
    Kanovei, Vladimir
    Lyubetsky, Vassily
    [J]. MONATSHEFTE FUR MATHEMATIK, 2021, 194 (01): : 105 - 117
  • [7] Factoring Solovay-random extensions, with application to the reduction property
    Vladimir Kanovei
    Vassily Lyubetsky
    [J]. Monatshefte für Mathematik, 2021, 194 : 105 - 117
  • [8] Extensions of Solovay's system S without independent sets of axioms
    Gorbunov, Igor
    Shkatov, Dmitry
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (01)
  • [9] PRECIPITOUSNESS IN FORCING EXTENSIONS
    LAVER, R
    [J]. ISRAEL JOURNAL OF MATHEMATICS, 1984, 48 (2-3) : 97 - 108
  • [10] FORCING COMPLETE EXISTENTIAL EXTENSIONS OF FORCING COMPLETE THEORIES
    LABLANQUIE, JC
    [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1982, 294 (20): : 669 - 672