Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

The maximality of the core model


Authors: E. Schimmerling and J. R. Steel
Journal: Trans. Amer. Math. Soc. 351 (1999), 3119-3141
MSC (1991): Primary 03E35, 03E45, 03E55
DOI: https://doi.org/10.1090/S0002-9947-99-02411-3
Published electronically: March 29, 1999
MathSciNet review: 1638250
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • [DeJ] K.I. Devlin and R.B. Jensen, Marginalia to a theorem of Silver, in Logic Conference, Kiel 1974, Lecture Notes in Mathematics, 499, Springer-Verlag, 1975, 115-142. MR 58:235
  • [Do1] A.J. Dodd, Strong Cardinals, circulated notes, 1981.
  • [Do2] A.J. Dodd, The core model, London Mathematical Society Lecture Note Series, 61, Cambridge University Press, Cambridge-New York, 1982. MR 84a:03062
  • [DoJ] A.J. Dodd and R.B. Jensen, The core model, Ann. Math. Logic 20 (1981), no. 1, 43-75. MR 82i:03063
  • [Jech] T. Jech, Set theory, Academic Press, New York-London, 1978. MR 80a:03062
  • [J1] R.B. Jensen, The fine structure of the constructible hierarchy, Ann. Math. Logic 4 (1972), no. 3, 229-308. MR 46:8834
  • [J2] R.B. Jensen, Non overlapping extenders, circulated notes.
  • [J3] R.B. Jensen, Some remarks on $\square$ below $0^{\P}$, circulated notes.
  • [MaSt1] D.A. Martin and J.R. Steel, A proof of projective determinacy, J. Amer. Math. Soc. 2 (1989) 71-125. MR 89m:03042
  • [MaSt2] D.A. Martin and J.R. Steel, Iteration trees, J. Amer. Math. Soc. 7 (1994) 1-73. MR 94f:03062
  • [Mi] W.J. Mitchell, The core model for sequences of measures I, Math. Proc. Cambridge Philos. Soc. 95 (1984), no. 2, 229-260. MR 85i:03163
  • [MiSch] W.J. Mitchell and E. Schimmerling, Weak covering without countable closure, Math. Res. Lett. 2 (1995), no. 5, 595-609. MR 96k:03123
  • [MiSchSt] 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 98b:03067
  • [MiSt] W.J. Mitchell and J.R. Steel, Fine structure and iteration trees, Lecture Notes in Logic 3, Springer-Verlag, Berlin, 1994. MR 95m:03099
  • [Sch1] E. Schimmerling, Combinatorial principles in the core model for one Woodin cardinal, Ann. Pure Appl. Logic 74 (1995), no. 2, 153-201. MR 96f:03041
  • [Sch2] E. Schimmerling, A finite family weak square principle, to appear in J. Symbolic Logic.
  • [SchSt] E. Schimmerling and J.R. Steel, Fine structure for tame inner models, J. Symbolic Logic 61 (1996), no. 2, 621-639. MR 97c:03123
  • [SchW] E. Schimmerling and W.H. Woodin, The Jensen covering property, to appear in J. Symbolic Logic.
  • [St1] J.R. Steel, The core model iterability problem, Lecture Notes in Logic 8, Springer-Verlag, Berlin, 1996. CMP 98:04
  • [St2] J.R. Steel, Inner models with many Woodin cardinals, Ann. Pure Appl. Logic 65 (1993), no. 2, 185-209. MR 95c:03132
  • [St3] J.R. Steel, Core models with more Woodin cardinals, preprint.

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 03E35, 03E45, 03E55

Retrieve articles in all journals with MSC (1991): 03E35, 03E45, 03E55


Additional Information

E. Schimmerling
Affiliation: Department of Mathematics, University of California, Irvine, Irvine, California 92697-3875
Address at time of publication: Mathematical Sciences Department, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213
Email: eschimme@andrew.cmu.edu

J. R. Steel
Affiliation: Department of Mathematics, University of California, Berkeley, Berkeley, California 94720
Email: steel@math.berkeley.edu

DOI: https://doi.org/10.1090/S0002-9947-99-02411-3
Keywords: Large cardinals, core models
Received by editor(s): May 17, 1997
Received by editor(s) in revised form: October 25, 1997
Published electronically: March 29, 1999
Additional Notes: This research was partially supported by the NSF
Article copyright: © Copyright 1999 American Mathematical Society

American Mathematical Society