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 条
  • [41] STRONG HOMOLOGY AND THE PROPER FORCING AXIOM
    DOW, A
    SIMON, P
    VAUGHAN, JE
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1989, 106 (03) : 821 - 828
  • [42] An axiomatic approach to forcing and generic extensions
    Freire, Rodrigo A.
    COMPTES RENDUS MATHEMATIQUE, 2020, 358 (06) : 757 - 775
  • [43] DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE
    Adolf, Dominik
    Sargsyan, Grigor
    JOURNAL OF SYMBOLIC LOGIC, 2019, 84 (01) : 27 - 53
  • [44] The Proper Dissipative Extensions of a Dual Pair
    Fischbacher, Christoph
    Naboko, Sergey
    Wood, Ian
    INTEGRAL EQUATIONS AND OPERATOR THEORY, 2016, 85 (04) : 573 - 599
  • [45] ON THE FREUDENTHAL EXTENSIONS OF CONFLUENT PROPER MAPS
    Charatonik, Wlodzimierz J.
    Fernandez-Bayort, Tomas
    Quintero, Antonio
    HOUSTON JOURNAL OF MATHEMATICS, 2012, 38 (03): : 963 - 989
  • [46] On minimum proper essential extensions in a category
    Hager, Anthony W.
    Wynne, Brian
    QUAESTIONES MATHEMATICAE, 2023, 46 (03) : 495 - 512
  • [47] Extensions of proper efficiency in complex space
    Youness, E. A.
    Elbrolosy, Mamdouh E.
    MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2018, 41 (15) : 5792 - 5800
  • [48] The Proper Dissipative Extensions of a Dual Pair
    Christoph Fischbacher
    Sergey Naboko
    Ian Wood
    Integral Equations and Operator Theory, 2016, 85 : 573 - 599
  • [49] THE PROPER AND SEMI-PROPER FORCING AXIOMS FOR FORCING NOTIONS THAT PRESERVE N2 OR N3
    Hamkins, Joel David
    Johnstone, Thomas A.
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2009, 137 (05) : 1823 - 1833
  • [50] EXTENSIONS OF MEASURABLE CHOICE THEOREM BY MEANS OF FORCING
    WESLEY, E
    ISRAEL JOURNAL OF MATHEMATICS, 1973, 14 (01) : 104 - 114