Core models in the presence of Woodin cardinals
Ralf Schindler
Source: J. Symbolic Logic Volume 71, Issue 4
(2006), 1145-1154.
Abstract
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.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
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
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1164060449
Digital Object Identifier: doi:10.2178/jsl/1164060449
Mathematical Reviews number (MathSciNet): MR2275853
Zentralblatt MATH identifier: 1109.03064
References
W. Mitchell and R. Schindler, $K^c$ without large cardinals in $V$, Journal of Symbolic Logic, vol. 69 (2004), pp. 371--386.
Mathematical Reviews (MathSciNet): MR2058177
Digital Object Identifier: doi:10.2178/jsl/1082418531
Project Euclid: euclid.jsl/1082418531
Zentralblatt MATH: 1069.03046
W. Mitchell and J. Steel, Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, 1994.
Mathematical Reviews (MathSciNet): MR1300637
Zentralblatt MATH: 0805.03042
I. Neeman, Optimal proofs of determinacy, Bulletin of Symbolic Logic, vol. 1 (1995), pp. 327--339.
Mathematical Reviews (MathSciNet): MR1349683
Digital Object Identifier: doi:10.2307/421159
Project Euclid: euclid.bsl/1181154853
Zentralblatt MATH: 0835.03017
E. Schimmerling and J. Steel, The maximality of the core model, Transactions of the American Mathematical Society, vol. 351 (1999), pp. 3119--3141.
Mathematical Reviews (MathSciNet): MR1638250
Digital Object Identifier: doi:10.1090/S0002-9947-99-02411-3
JSTOR: links.jstor.org
Zentralblatt MATH: 0928.03059
R. Schindler, Iterates of the core model, Journal of Symbolic Logic, vol. 71 (2006), pp. 241--251.
Mathematical Reviews (MathSciNet): MR2210065
Digital Object Identifier: doi:10.2178/jsl/1140641172
Project Euclid: euclid.jsl/1140641172
Zentralblatt MATH: 1109.03063
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.
Mathematical Reviews (MathSciNet): MR1336414
Digital Object Identifier: doi:10.1016/0168-0072(94)00021-T
Zentralblatt MATH: 0821.03023
--------, The core model iterability problem, Lecture Notes in Logic, vol. 8, Springer-Verlag, 1996.
Mathematical Reviews (MathSciNet): MR1480175
Zentralblatt MATH: 0864.03035
--------, Core models with more Woodin cardinals, Journal of Symbolic Logic, vol. 67 (2002), pp. 1197--1226.
Mathematical Reviews (MathSciNet): MR1926608
Digital Object Identifier: doi:10.2178/jsl/1190150159
Project Euclid: euclid.jsl/1190150159
Zentralblatt MATH: 1012.03055
-------- private communication.,
W. H. Woodin private communication.,
