The maximality of the core model

Schimmerling, E.; Steel, J.

doi:10.1090/S0002-9947-99-02411-3

The maximality of the core model
HTML articles powered by AMS MathViewer

by E. Schimmerling and J. R. Steel PDF

Trans. Amer. Math. Soc. 351 (1999), 3119-3141 Request permission

Abstract:

Our main results are: 1) every countably certified extender that coheres with the core model $K$ is on the extender sequence of $K$, 2) $K$ computes successors of weakly compact cardinals correctly, 3) every model on the maximal 1-small construction is an iterate of $K$, 4) (joint with W. J. Mitchell) $K\|\kappa$ is universal for mice of height $\le \kappa$ whenever $\kappa \geq \aleph _2$, 5) if there is a $\kappa$ such that $\kappa$ is either a singular countably closed cardinal or a weakly compact cardinal, and $\square _\kappa ^{<\omega }$ fails, then there are inner models with Woodin cardinals, and 6) an $\omega$-Erdös cardinal suffices to develop the basic theory of $K$.

References

Keith I. Devlin and R. B. Jensen, Marginalia to a theorem of Silver, $\vDash$ISILC Logic Conference (Proc. Internat. Summer Inst. and Logic Colloq., Kiel, 1974) Lecture Notes in Math., Vol. 499, Springer, Berlin, 1975, pp. 115–142. MR 0480036
A.J. Dodd, Strong Cardinals, circulated notes, 1981.
A. J. Dodd, The core model, London Mathematical Society Lecture Note Series, vol. 61, Cambridge University Press, Cambridge-New York, 1982. MR 652253, DOI 10.1017/CBO9780511600586
A. Dodd and R. Jensen, The core model, Ann. Math. Logic 20 (1981), no. 1, 43–75. MR 611394, DOI 10.1016/0003-4843(81)90011-5
Thomas Jech, Set theory, Pure and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR 506523
R. Björn Jensen, The fine structure of the constructible hierarchy, Ann. Math. Logic 4 (1972), 229–308; erratum, ibid. 4 (1972), 443. With a section by Jack Silver. MR 309729, DOI 10.1016/0003-4843(72)90001-0
R.B. Jensen, Non overlapping extenders, circulated notes.
R.B. Jensen, Some remarks on $\square$ below $0^{\mathparagraph }$, circulated notes.
Donald A. Martin and John R. Steel, A proof of projective determinacy, J. Amer. Math. Soc. 2 (1989), no. 1, 71–125. MR 955605, DOI 10.1090/S0894-0347-1989-0955605-X
D. A. Martin and J. R. Steel, Iteration trees, J. Amer. Math. Soc. 7 (1994), no. 1, 1–73. MR 1224594, DOI 10.1090/S0894-0347-1994-1224594-7
William J. Mitchell, The core model for sequences of measures. I, Math. Proc. Cambridge Philos. Soc. 95 (1984), no. 2, 229–260. MR 735366, DOI 10.1017/S030500410006151X
W. J. Mitchell and E. Schimmerling, Weak covering without countable closure, Math. Res. Lett. 2 (1995), no. 5, 595–609. MR 1359965, DOI 10.4310/MRL.1995.v2.n5.a6
W. J. Mitchell, E. Schimmerling, and J. R. Steel, The covering lemma up to a Woodin cardinal, Ann. Pure Appl. Logic 84 (1997), no. 2, 219–255. MR 1437646, DOI 10.1016/S0168-0072(96)00032-2
William J. Mitchell and John R. Steel, Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, Berlin, 1994. MR 1300637, DOI 10.1007/978-3-662-21903-4
Ernest Schimmerling, Combinatorial principles in the core model for one Woodin cardinal, Ann. Pure Appl. Logic 74 (1995), no. 2, 153–201. MR 1342358, DOI 10.1016/0168-0072(94)00036-3
E. Schimmerling, A finite family weak square principle, to appear in J. Symbolic Logic.
E. Schimmerling and J. R. Steel, Fine structure for tame inner models, J. Symbolic Logic 61 (1996), no. 2, 621–639. MR 1394618, DOI 10.2307/2275679
E. Schimmerling and W.H. Woodin, The Jensen covering property, to appear in J. Symbolic Logic.
J.R. Steel, The core model iterability problem, Lecture Notes in Logic 8, Springer-Verlag, Berlin, 1996.
J. R. Steel, Inner models with many Woodin cardinals, Ann. Pure Appl. Logic 65 (1993), no. 2, 185–209. MR 1257469, DOI 10.1016/0168-0072(93)90037-E
J.R. Steel, Core models with more Woodin cardinals, preprint.