More on mutual stationarity
Abstract
Description
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_α: n<ω,α>0) such that each individual S^n_αis a stationary subset of \aleph_{α+1} consisting of points of cofinality ω_1, and for all limits λand for all f:λ-> ωdo we have that (S^{f(α)}_α: α<λ) is mutually stationary if and only if the range of f is finite.
7 pages
7 pages