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

Published electronically:
March 29, 1999

MathSciNet review:
1638250

Full-text PDF Free Access

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]**Keith I. Devlin and R. B. Jensen,*Marginalia to a theorem of Silver*, ⊨ISILC Logic Conference (Proc. Internat. Summer Inst. and Logic Colloq., Kiel, 1974) Springer, Berlin, 1975, pp. 115–142. Lecture Notes in Math., Vol. 499. MR**0480036****[Do1]**A.J. Dodd,*Strong Cardinals*, circulated notes, 1981.**[Do2]**A. J. Dodd,*The core model*, London Mathematical Society Lecture Note Series, vol. 61, Cambridge University Press, Cambridge-New York, 1982. MR**652253****[DoJ]**A. Dodd and R. Jensen,*The core model*, Ann. Math. Logic**20**(1981), no. 1, 43–75. MR**611394**, 10.1016/0003-4843(81)90011-5**[Jech]**Thomas Jech,*Set theory*, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. Pure and Applied Mathematics. MR**506523****[J1]**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**0309729****[J2]**R.B. Jensen,*Non overlapping extenders*, circulated notes.**[J3]**R.B. Jensen,*Some remarks on below*, circulated notes.**[MaSt1]**Donald A. Martin and John R. Steel,*A proof of projective determinacy*, J. Amer. Math. Soc.**2**(1989), no. 1, 71–125. MR**955605**, 10.1090/S0894-0347-1989-0955605-X**[MaSt2]**D. A. Martin and J. R. Steel,*Iteration trees*, J. Amer. Math. Soc.**7**(1994), no. 1, 1–73. MR**1224594**, 10.1090/S0894-0347-1994-1224594-7**[Mi]**William J. Mitchell,*The core model for sequences of measures. I*, Math. Proc. Cambridge Philos. Soc.**95**(1984), no. 2, 229–260. MR**735366**, 10.1017/S030500410006151X**[MiSch]**W. J. Mitchell and E. Schimmerling,*Weak covering without countable closure*, Math. Res. Lett.**2**(1995), no. 5, 595–609. MR**1359965**, 10.4310/MRL.1995.v2.n5.a6**[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**1437646**, 10.1016/S0168-0072(96)00032-2**[MiSt]**William J. Mitchell and John R. Steel,*Fine structure and iteration trees*, Lecture Notes in Logic, vol. 3, Springer-Verlag, Berlin, 1994. MR**1300637****[Sch1]**Ernest Schimmerling,*Combinatorial principles in the core model for one Woodin cardinal*, Ann. Pure Appl. Logic**74**(1995), no. 2, 153–201. MR**1342358**, 10.1016/0168-0072(94)00036-3**[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**1394618**, 10.2307/2275679**[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**1257469**, 10.1016/0168-0072(93)90037-E**[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:
http://dx.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