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 条
  • [41] STUDY ON FORCING IN THEORY OF MODELS
    POIZAT, B
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (04): : 347 - 356
  • [42] Deterministic compartmental models: Extensions of basic models
    van den Driessche, P.
    MATHEMATICAL EPIDEMIOLOGY, 2008, 1945 : 147 - 157
  • [43] Generalization of one construction by Solovay
    V. G. Kanovei
    V. A. Lyubetsky
    Siberian Mathematical Journal, 2015, 56 : 1072 - 1079
  • [44] A Generic Property of the Solovay Set Σ
    Kanovei, V. G.
    Lyubetsky, V. A.
    SIBERIAN MATHEMATICAL JOURNAL, 2017, 58 (06) : 1012 - 1014
  • [45] HFD groups in the Solovay model
    Szeptycki, Paul J.
    Tomita, Artur H.
    TOPOLOGY AND ITS APPLICATIONS, 2009, 156 (10) : 1807 - 1810
  • [46] On a Spector ultrapower for the Solovay model
    Kanovei, V
    vanLambalgen, M
    MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (03) : 389 - 395
  • [47] Algebraic extensions of Gaudin models
    Musso, F
    Petrera, M
    Ragnisco, O
    JOURNAL OF NONLINEAR MATHEMATICAL PHYSICS, 2005, 12 : 482 - 498
  • [48] Extensions of fibre bundle models
    Kun, F.
    Raischel, F.
    Hidalgo, R. C.
    Herrmann, H. J.
    MODELLING CRITICAL AND CATASTROPHIC PHENOMENA IN GEOSCIENCE: A STATISTICAL PHYSICS APPROACH, 2006, 705 : 57 - +
  • [49] Homogeneous models and generic extensions
    K. Zh. Kudaibergenov
    Siberian Mathematical Journal, 2000, 41 : 671 - 678
  • [50] Homogeneous models and generic extensions
    Kudaibergenov, KZ
    SIBERIAN MATHEMATICAL JOURNAL, 2000, 41 (04) : 671 - 678