The core model for almost linear iterations

Abstract

We introduce 0 | • (“zero hand-grenade”) as a sharp for an inner model with a proper class of strong cardinals. We prove the existence of the core model K in the theory “ZFC + 0 | • doesn’t exist.” Combined with work of Woodin, Steel, and earlier work of the author, this provides the last step for determining the exact consistency strength of the assumption… (More)
DOI: 10.1016/S0168-0072(01)00113-0

Topics

3 Figures and Tables

Cite this paper

@article{Schindler2002TheCM, title={The core model for almost linear iterations}, author={Ralf Schindler}, journal={Ann. Pure Appl. Logic}, year={2002}, volume={116}, pages={205-272} }