Proper forcing extensions and Solovay models

被引:7
|
作者
Bagaria, J
Bosch, R
机构
[1] Univ Barcelona, Inst Catalana Rec & Estudis Avancats, E-08028 Barcelona, Spain
[2] Univ Barcelona, Dept Log Hist & Filosofia Ciencia, E-08028 Barcelona, Spain
[3] Univ Oviedo, Dept Filosofia, Oviedo 33011, Spain
关键词
Solovay models; generic absoluteness; strongly-proper forcing; projective forcing; consistency strength; definably-Mahlo cardinals; Mahlo cardinals; weakly-compact cardinals;
D O I
10.1007/s00153-003-0210-2
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We study the preservation of the property of L(R) being a Solovay model under proper projective forcing extensions. We show that every (Sigma) under tilde (1)(3) strongly-proper forcing notion preserves this property. This yields that the consistency strength of the absoluteness of L(R) under (Sigma) under tilde (1)(3) strongly-proper forcing notions is that of the existence of an inaccessible cardinal. Further, the absoluteness of L(R) under projective strongly-proper forcing notions is consistent relative to the existence of a (Sigma) under tilde (omega)-Mahlo cardinal. We also show that the consistency strength of the absoluteness of L(R) under forcing extensions with sigma-linked forcing notions is exactly that of the existence of a Mahlo cardinal, in contrast with the general ccc case, which requires a weakly-compact cardinal.
引用
收藏
页码:739 / 750
页数:12
相关论文
共 50 条
  • [1] Proper forcing extensions and Solovay models
    Joan Bagaria
    Roger Bosch
    Archive for Mathematical Logic, 2004, 43 : 739 - 750
  • [2] Solovay models and forcing extensions
    Bagaria, J
    Bosch, R
    JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (03) : 742 - 766
  • [3] On the extensions of Solovay-reducibility
    Zheng, XZ
    Rettinger, R
    COMPUTING AND COMBINATORICS, PROCEEDINGS, 2004, 3106 : 360 - 369
  • [4] Solovay-type characterizations for forcing-algebras
    Brendle, J
    Löwe, B
    JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (03) : 1307 - 1323
  • [5] Gap forcing: Generalizing the Levy-Solovay theorem
    Hamkins, JD
    BULLETIN OF SYMBOLIC LOGIC, 1999, 5 (02) : 264 - 272
  • [6] PROPER FORCING
    SHELAH, S
    LECTURE NOTES IN MATHEMATICS, 1982, 940 : 1 - 496
  • [7] Factoring Solovay-random extensions, with application to the reduction property
    Kanovei, Vladimir
    Lyubetsky, Vassily
    MONATSHEFTE FUR MATHEMATIK, 2021, 194 (01): : 105 - 117
  • [8] Effective forcing versus proper forcing
    Sacks, GE
    ANNALS OF PURE AND APPLIED LOGIC, 1996, 81 (1-3) : 171 - 185
  • [9] Factoring Solovay-random extensions, with application to the reduction property
    Vladimir Kanovei
    Vassily Lyubetsky
    Monatshefte für Mathematik, 2021, 194 : 105 - 117
  • [10] Extensions of Solovay's system S without independent sets of axioms
    Gorbunov, Igor
    Shkatov, Dmitry
    ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (01)