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 条