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.
机构:
St Petersburg State Univ, Inst Phys, Dept Math Phys, 1 Ulianovskaia, St Petersburg 198504, RussiaUniv Kent, Sch Math Stat & Actuarial Sci, Canterbury CT2 7NF, Kent, England
Naboko, Sergey
Wood, Ian
论文数: 0引用数: 0
h-index: 0
机构:
Univ Kent, Sch Math Stat & Actuarial Sci, Canterbury CT2 7NF, Kent, EnglandUniv Kent, Sch Math Stat & Actuarial Sci, Canterbury CT2 7NF, Kent, England
机构:
CUNY, Grad Ctr, Dept Math, New York, NY 10016 USA
CUNY Coll Staten Isl, Dept Math, Staten Isl, NY 10314 USACUNY, Grad Ctr, Dept Math, New York, NY 10016 USA
Hamkins, Joel David
Johnstone, Thomas A.
论文数: 0引用数: 0
h-index: 0
机构:
CUNY, New York City Coll Technol, Dept Math, Brooklyn, NY 11201 USACUNY, Grad Ctr, Dept Math, New York, NY 10016 USA