Journal of Symbolic Logic

Increasing u2 by a stationary set preserving forcing

Benjamin Claverie and Ralf Schindler

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

We show that if I is a precipitous ideal on ω1 and if θ > ω1 is a regular cardinal, then there is a forcing ℛ = ℛ(I,θ) which preserves the stationarity of all I-positive sets such that in V, 〈 Hθ;∈,I 〉 is a generic iterate of a countable structure 〈 M;∈,Ī 〉. This shows that if the nonstationary ideal on ω1 is precipitous and Hθ# exists, then there is a stationary set preserving forcing which increases \utilde{δ}12. Moreover, if Bounded Martin's Maximum holds and the nonstationary ideal on ω1 is precipitous, then \utilde{δ}12 = u2 = ω2.

Article information

Source
J. Symbolic Logic, Volume 74, Issue 1 (2009), 187-200.

Dates
First available in Project Euclid: 4 January 2009

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1231082308

Digital Object Identifier
doi:10.2178/jsl/1231082308

Mathematical Reviews number (MathSciNet)
MR2499426

Zentralblatt MATH identifier
1163.03026

Citation

Claverie, Benjamin; Schindler, Ralf. Increasing u 2 by a stationary set preserving forcing. J. Symbolic Logic 74 (2009), no. 1, 187--200. doi:10.2178/jsl/1231082308. https://projecteuclid.org/euclid.jsl/1231082308


Export citation