More on mutual stationarity
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.