Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 74, Issue 1 (2009), 315-335.
We show that either of the following hypotheses imply that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals. 1) There is a countably closed cardinal κ ≥ ℵ3 such that □κ and □(κ) fail. 2) There is a cardinal κ such that κ is weakly compact in the generic extension by Col(κ,κ+). Of special interest is 1) with κ = ℵ3 since it follows from PFA by theorems of Todorcevic and Velickovic. Our main new technical result, which is due to the first author, is a weak covering theorem for the model obtained by stacking mice over Kc || κ.
J. Symbolic Logic Volume 74, Issue 1 (2009), 315-335.
First available in Project Euclid: 4 January 2009
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Jensen, Ronald; Schimmerling, Ernest; Schindler, Ralf; Steel, John. Stacking mice. J. Symbolic Logic 74 (2009), no. 1, 315--335. doi:10.2178/jsl/1231082314. https://projecteuclid.org/euclid.jsl/1231082314.