Ernest Schimmerling
Papers
- E. Schimmerling,
Combinatorial principles in the core model for one Woodin cardinal,
Annals of Pure and Applied Logic 74 (1995) 153-201
[ScienceDirect]
- W.J. Mitchell and E. Schimmerling,
Weak covering without countable closure,
Mathematical Research Letters 2 (1995) 595-609
[PDF]
- E. Schimmerling and J.R. Steel,
Fine structure for tame inner models,
The Journal of Symbolic Logic 61 (1996) 621-639
[Project Euclid]
- W.J. Mitchell, E. Schimmerling, and J.R. Steel,
The covering lemma up to a Woodin cardinal,
Annals of Pure and Applied Logic 84 (1997) 219-255
[ScienceDirect]
- E. Schimmerling,
Combinatorial set theory and inner models,
in C.A. Di Prisco, J.A. Larson, J. Bagaria and A.R.D. Mathias (eds.),
Set theory, Techniques and Applications, Curacao 1995 and Barcelona 1996
Conferences, 207-212,
Kluwer Acad. Publ., Dordrecht, 1998
- E. Schimmerling and J.R. Steel,
The maximality of the core model,
Transactions of the American Mathematical Society
351 (1999) 3119-3141
[AMS]
- E. Schimmerling,
Covering properties of core models,
in S.B. Cooper and J.K. Truss (eds.),
Sets and Proofs, 281-299,
London Math. Soc. Lecture Note Ser. 258,
Cambridge Univ. Press, Cambridge, 1999
- E. Schimmerling,
A finite family weak square principle,
The Journal of Symbolic Logic 64 (1999) 1087-1110
[Project Euclid]
[JSTOR]
- E. Schimmerling and M. Zeman, Square in core models,
The Bulletin of Symbolic Logic 7 (2001) 305-314
[Project Euclid]
[JSTOR]
- E. Schimmerling and W.H. Woodin,
The Jensen covering property,
The Journal of Symbolic Logic 66 (2001) 1505-1523
[Project Euclid]
- E. Schimmerling, The ABC's of mice,
Bulletin of Symbolic Logic 7 (2001) 485-503
[Project Euclid]
[JSTOR]
- E. Schimmerling, Woodin
cardinals, Shelah cardinals,
and the Mitchell-Steel core model,
Proceedings of the American Mathematical Society
130 (2002) 3385-3391
[AMS]
[JSTOR]
- J. Cummings and E. Schimmerling, Indexed squares,
Israel Journal of Mathematics 131 (2002) 61-99
[SpringerLink]
-
E. Schimmerling and B. Velickovic,
Collapsing functions,
Mathematical Logic Quarterly 50 (2004)
[Wiley InterScience]
- E. Schimmerling and M. Zeman, Characterization of
Squareκ in core models,
Journal of Mathematical Logic 4 (2004) 1-72
[WorldSciNet]
- J. Cummings and E. Schimmerling,
Diamond and antichains,
Archive for Mathematical Logic 44 (2005) 71-76
[SpringerLink]
- E. Schimmerling,
Stationary reflection in
extender models,
Fundamenta Mathematicae 187 (2005) 161-169
[PDF]
- E. Schimmerling,
Coherent sequences and threads,
Advances in Mathematics 216 (2007) 89-117
[ScienceDirect]
- I. Neeman and E. Schimmerling,
Hierarchies of forcing axioms, I, The Journal of Symbolic Logic
73 (2008) 343-362
[Project Euclid]
- E. Schimmerling and M. Zeman,
Cardinal transfer properties in extender models,
Annals of Pure and Applied Logic 154 (2008) 163-190
[ScienceDirect]
- E. Schimmerling,
A core model toolbox and guide,
to appear in Handbook of Set Theory,
Springer-Verlag, M. Foreman, A. Kanamori and M. Magidor (eds.)
[PDF (draft 7/21/07)]
- R. Jensen, E. Schimmerling, R. Schindler and J. Steel,
Stacking mice, to appear in the Journal of Symbolic Logic
[PDF (draft 4/30/08]
- J. Cummings, M. Foreman and E. Schimmerling,
Organic and tight, in preparation
[PDF (draft 5/14/08]