Abstract
We show in ZFC that if there is no proper class inner model with a Woodin cardinal, then there is an absolutely definable core model that is close to $V$ in various ways.
Citation
Ronald Jensen. John Steel. "$K$ without the measurable." J. Symbolic Logic 78 (3) 708 - 734, September 2013. https://doi.org/10.2178/jsl.7803020
Information
Published: September 2013
First available in Project Euclid: 6 January 2014
zbMATH: 1348.03049
MathSciNet: MR3135495
Digital Object Identifier: 10.2178/jsl.7803020
Rights: Copyright © 2013 Association for Symbolic Logic
