Global Square and Mutual Stationarity at the Aleph_n

Peter Koepke, Philip Welch

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 a…