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 is on the extender sequence of , 2) computes successors of weakly compact cardinals correctly, 3) every model on the maximal 1-small construction is an iterate of , 4) (joint with W. J. Mitchell) is universal for mice of height whenever , 5) if there is a such that is either a singular countably closed cardinal or a weakly compact cardinal, and fails, then there are inner models with Woodin cardinals, and 6) an -Erdös cardinal suffices to develop the basic theory of .

**[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 below*, 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.

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