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_\alpha : n<\omega,\alpha>0) such that each individual S^n_\alpha is a stationary subset of \aleph_{ \alpha+1} consisting of points of cofinality \omega_1, and for all limits \lambda and for all f:\lambda -> \omega do we have that (S^{ f(\alpha)}_\alpha : \alpha<\lambda) is mutually stationary if and only if the range of f is finite.
Categories: math.LO