Counterexamples to the unique and cofinal branches hypotheses
Itay Neeman and John Steel
Source: J. Symbolic Logic Volume 71, Issue 3 (2006), 977-988.
Abstract
We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal.
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/1154698586
Digital Object Identifier: doi:10.2178/jsl/1154698586
Mathematical Reviews number (MathSciNet):
MR2251550
Zentralblatt MATH identifier:
1109.03065
References
Alessandro Andretta, Large cardinals and iteration trees of height $\omega$, Annals of Pure and Applied Logic, vol. 54 (1991), no. 1, pp. 1--15.
Mathematical Reviews (MathSciNet):
MR1130217
Digital Object Identifier: doi:10.1016/0168-0072(91)90007-9
Donald A. Martin and John R. Steel, A proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), no. 1, pp. 71--125.
Mathematical Reviews (MathSciNet):
MR955605
Digital Object Identifier: doi:10.2307/1990913
JSTOR: links.jstor.org
--------, Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), no. 1, pp. 1--73.
Mathematical Reviews (MathSciNet):
MR1224594
Digital Object Identifier: doi:10.2307/2152720
JSTOR: links.jstor.org
Itay Neeman, Inner models in the region of a Woodin limit of Woodin cardinals, Annals of Pure and Applied Logic, vol. 116 (2002), no. 1--3, pp. 67--155.
Mathematical Reviews (MathSciNet):
MR1900902
Digital Object Identifier: doi:10.1016/S0168-0072(01)00103-8
-------- The determinacy of long games, de Gruyter Series in Logic and its Applications, vol. 7, Walter de Gruyter GmbH & Co., KG, Berlin, 2004.,
Mathematical Reviews (MathSciNet):
MR2111287
Zentralblatt MATH:
1076.03032
John R. Steel, Core models with more Woodin cardinals, Journal of Symbolic Logic, vol. 67 (2002), no. 3, pp. 1197--1226.
Mathematical Reviews (MathSciNet):
MR1926608
Digital Object Identifier: doi:10.2178/jsl/1190150159
Project Euclid: euclid.jsl/1190150159
--------, Local $K^c$-constructions,to appear.
