Ralf Schindler
Published 2001-04-06Version 1
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.
The core model for almost linear iterations
Iterations of V and the core model
The Complexity of the Core Model
![QR code for arXiv:math/0104072 [math.LO]](http://oss.arxitics.com/images/favicon.svg)