Advances in Cardinal Arithmetic

If cfκ = κ, κ + < cfλ = λ then there is a stationary subset S of {δ < λ : cf(δ) = κ} in I[λ]. Moreover, we can find C = 〈C δ : δ ∈ S〉, C δ club of λ, otp(C δ ) = κ, guessing clubs and for each α < λ we have: {C δ ⋂ α: α ∈ naccC δ } has cardinality < λ.