More on mutual stationarity

Original · EN

Extending a result of Foreman and Magidor we prove that in the core model for almost linear iterations the following holds. There is a sequence (Sⁿα: n<ω,α>0) such that each individual Sⁿαis a stationary subset of α₊₁ consisting of points of cofinality ω₁, and for all limits λand for all f:λ-> ωdo we have that (Sᶠ⁽α⁾α: α<λ) is mutually stationary if and only if the range of f is finite.