Source: J. Symbolic Logic
Volume 71, Issue 4
Let 0 < n <ω. If there are n Woodin cardinals and
a measurable cardinal above, but Mn+1#
doesn’t exist, then the core model K exists in a sense made
precise. An Iterability Inheritance Hypothesis is isolated which is
shown to imply an optimal correctness result for K.
Full-text: Access denied (no subscription
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
W. Mitchell and R. Schindler, $K^c$ without large cardinals in $V$, Journal of Symbolic Logic, vol. 69 (2004), pp. 371--386.
W. Mitchell and J. Steel, Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, 1994.
I. Neeman, Optimal proofs of determinacy, Bulletin of Symbolic Logic, vol. 1 (1995), pp. 327--339.
E. Schimmerling and J. Steel, The maximality of the core model, Transactions of the American Mathematical Society, vol. 351 (1999), pp. 3119--3141.
R. Schindler, Iterates of the core model, Journal of Symbolic Logic, vol. 71 (2006), pp. 241--251.
R. Schindler and J. Steel, List of open problems in inner model theory, available at family wwwmath1.uni-muenster.de/logik/org/staff/rds/list.html.
--------, The self-iterability of $L[E]$, in preparation.
J. Steel, Projectively well-ordered inner models, Annals of Pure and Applied Logic, vol. 74 (1995), pp. 77--104.
--------, The core model iterability problem, Lecture Notes in Logic, vol. 8, Springer-Verlag, 1996.
--------, Core models with more Woodin cardinals, Journal of Symbolic Logic, vol. 67 (2002), pp. 1197--1226.
-------- private communication.,
W. H. Woodin private communication.,