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 条
  • [21] Definable maximal discrete sets in forcing extensions
    Schrittesser, David
    Tornquist, Asger
    MATHEMATICAL RESEARCH LETTERS, 2018, 25 (05) : 1591 - 1612
  • [22] P-POINTS IN ITERATED FORCING EXTENSIONS
    ROITMAN, J
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1978, 69 (02) : 314 - 318
  • [23] Absoluteness of the Solovay Set Σ
    Kanovei, V. G.
    Lyubetsky, V. A.
    SIBERIAN MATHEMATICAL JOURNAL, 2019, 60 (06) : 1003 - 1006
  • [24] FORCING IN THEORY ON MODELS
    CUSIN, R
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 272 (13): : 845 - &
  • [25] FORCING AND MODELS OF ARITHMETIC
    SIMPSON, SG
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 43 (01) : 193 - 194
  • [26] Absoluteness of the Solovay Set Σ
    V. G. Kanovei
    V. A. Lyubetsky
    Siberian Mathematical Journal, 2019, 60 : 1003 - 1006
  • [27] EXTENSIONS OF ISOLIC MODELS
    ELLENTUCK, E
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1971, 17 (04): : 323 - +
  • [28] Extensions of models of PV
    Krajícek, J
    LOGIC COLLOQUIUM '95, 1998, 11 : 104 - 114
  • [29] Extensions of convexity models
    Beltrametti, EG
    Bugajski, S
    Varadarajan, VS
    JOURNAL OF MATHEMATICAL PHYSICS, 2000, 41 (05) : 2500 - 2514
  • [30] Extensions of Kripke models
    Zaare, Mostafa
    LOGIC JOURNAL OF THE IGPL, 2017, 25 (05) : 697 - 699