Mathematics – Logic
Scientific paper
2001-04-06
Mathematics
Logic
7 pages
Scientific paper
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.
No associations
LandOfFree
More on mutual stationarity does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with More on mutual stationarity, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and More on mutual stationarity will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-657232