Global Square and Mutual Stationarity at the Aleph_n

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We show using a proof of the Global Square property in Core Models below a measurable of Mitchell order o(kappa)=kappa^++ (a result originally due to Jensen & Zeman) that Foreman and Magidor's Mutual Stationarity property MS(Aleph_n (1<n<omega), Cof(omega_1)) implies the existence of inner models with measurables of high Mitchell order. This MS property states that any sequence of independently chosen stationary subsets S_n of the Aleph_n (of fixed cofinality omega_1) is mutually stationary below aleph_omega.
34 pages

Keywords

Logic, 03E45, 03E35, 03E10, 03E55

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/138759

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0709.4127
 http://arxiv.org/abs/0709.4127

Collections

arXiv