Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model

Author: Ernest Schimmerling
Journal: Proc. Amer. Math. Soc. 130 (2002), 3385-3391
MSC (1991): Primary 03E45, 03E55
Published electronically: March 18, 2002
MathSciNet review: 1913018
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Theorem 4 is a characterization of Woodin cardinals in terms of Skolem hulls and Mostowski collapses. We define weakly hyper-Woodin cardinals and hyper-Woodin cardinals. Theorem 5 is a covering theorem for the Mitchell-Steel core model, which is constructed using total background extenders. Roughly, Theorem 5 states that this core model correctly computes successors of hyper-Woodin cardinals. Within the large cardinal hierarchy, in increasing order we have: measurable Woodin, weakly hyper-Woodin, Shelah, hyper-Woodin, and superstrong cardinals. (The comparison of Shelah versus hyper-Woodin is due to James Cummings.)

References [Enhancements On Off] (What's this?)

Similar Articles

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

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

Additional Information

Ernest Schimmerling
Affiliation: Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213-3890

Keywords: Large cardinals, core models
Received by editor(s): May 16, 2001
Received by editor(s) in revised form: June 14, 2001
Published electronically: March 18, 2002
Additional Notes: This research was supported by NSF DMS-0088948.
Communicated by: Carl G. Jockusch, Jr.
Article copyright: © Copyright 2002 American Mathematical Society