Global Square and Mutual Stationarity at the Aleph_n
| dc.creator | Koepke, Peter | |
| dc.creator | Welch, Philip | |
| dc.date | 2007-09-26 | |
| dc.date.accessioned | 2026-07-07T08:32:18Z | |
| dc.date.available | 2026-07-07T08:32:18Z | |
| dc.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. | |
| dc.description | 34 pages | |
| dc.identifier | https://arxiv.org/abs/0709.4127 | |
| dc.identifier | http://arxiv.org/abs/0709.4127 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/138759 | |
| dc.subject | Logic | |
| dc.subject | 03E45, 03E35, 03E10, 03E55 | |
| dc.title | Global Square and Mutual Stationarity at the Aleph_n | |
| dc.type | text |