Collapsing successors of singulars

Let κ be a singular cardinal in V , and let W ⊇ V be a model such that κ+V = λ + W for some W -cardinal λ with W |= cf(κ) 6= cf(λ). We apply Shelah’s pcf theory to study this situation, and prove the following results. 1) W is not a κ+-c.c generic extension of V . 2) There is no “good scale for κ” in V , so in particular weak forms of square must fail at κ. 3) If V |= cf(κ) = א0 then V |= “κ is strong limit =⇒ 2κ = κ+”, and also ωκ ∩W ) ωκ ∩ V . 4) If κ = אω then λ ≤ (2א0 )V .

[1]  Matthew Foreman,et al.  A very weak square principle , 1997, Journal of Symbolic Logic.

[2]  Lev Bukovský,et al.  Minimal Collapsing Extensions of Models of ZFC , 1990, Ann. Pure Appl. Log..

[3]  Saharon Shelah,et al.  On Successors of Singular Cardinals , 1979 .

[4]  Menachem Magidor,et al.  Shelah's pcf Theory and Its Applications , 1990, Ann. Pure Appl. Log..

[5]  Saharon Shelah,et al.  Chang’s conjecture for ℵω , 1990 .

[6]  Ernest Schimmerling,et al.  Combinatorial Principle in the Core Model for one Woodin Cardinal , 1995, Ann. Pure Appl. Log..

[7]  William J. Mitchell,et al.  Weak covering without countable closure , 1995 .

[8]  W. Woodin,et al.  Supercompact cardinals, sets of reals, and weakly homogeneous trees. , 1988, Proceedings of the National Academy of Sciences of the United States of America.

[9]  William J. Mitchell,et al.  The Covering Lemma up to a Woodin Cardinal , 1997, Ann. Pure Appl. Log..