Internal consistency and global co-stationarity of the ground model
Natasha Dobrinen and Sy-David Friedman
Source: J. Symbolic Logic Volume 73, Issue 2
(2008), 512-521.
Abstract
Global co-stationarity of the ground model from an ℵ2-c.c. forcing which adds a new subset of ℵ1 is internally consistent relative to an ω1-Erdős hyperstrong cardinal and a sufficiently large measurable above.
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/1208359057
Digital Object Identifier: doi:10.2178/jsl/1208359057
Mathematical Reviews number (MathSciNet): MR2414462
Zentralblatt MATH identifier: 1153.03033
References
James E. Baumgartner, On the size of closed unbounded sets, Annals of Pure and Applied Logic, vol. 54 (1991), pp. 195--227.
Mathematical Reviews (MathSciNet): MR1133005
Digital Object Identifier: doi:10.1016/0168-0072(91)90047-P
Zentralblatt MATH: 0746.03040
A. Beller, R. Jensen, and P. Welch, Coding the Universe, Cambridge University Press, 1982.
Mathematical Reviews (MathSciNet): MR645538
Zentralblatt MATH: 0468.03031
Natasha Dobrinen and Sy-David Friedman, Co-stationarity of the ground model, Journal of Symbolic Logic, vol. 71 (2006), no. 3, pp. 1029--1043.
Mathematical Reviews (MathSciNet): MR2251553
Digital Object Identifier: doi:10.2178/jsl/1154698589
Project Euclid: euclid.jsl/1154698589
Sy-David Friedman, Internal consistency and the inner model hypothesis, Bulletin of Symbolic Logic, vol. 12 (2006), no. 4, pp. 591--600.
Mathematical Reviews (MathSciNet): MR2283091
Digital Object Identifier: doi:10.2178/bsl/1164056808
Project Euclid: euclid.bsl/1164056808
Zentralblatt MATH: 1134.03029
Sabine Koppelberg, Handbook of Boolean Algebra, vol. 1, North-Holland, 1989.
Mathematical Reviews (MathSciNet): MR991565
David W. Kueker, Löwenheim-Skolem and interpolation theorems in infinitary languages, Bulletin of the American Mathematical Society, vol. 78 (1972), pp. 211--215.
Mathematical Reviews (MathSciNet): MR290942
Digital Object Identifier: doi:10.1090/S0002-9904-1972-12921-5
Telis K. Menas, On strong compactness and supercompactness, Annals of Mathematical Logic, vol. 7 (1974/75), pp. 327--359.
Mathematical Reviews (MathSciNet): MR357121
