Internal consistency and global co-stationarity of the ground model
Natasha Dobrinen and Sy-David Friedman
Source: J. Symbolic Logic
Volume 73, Issue 2
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.
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
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
James E. Baumgartner, On the size of closed unbounded sets, Annals of Pure and Applied Logic, vol. 54 (1991), pp. 195--227.
A. Beller, R. Jensen, and P. Welch, Coding the Universe, Cambridge University Press, 1982.
Mathematical Reviews (MathSciNet): MR645538
Natasha Dobrinen and Sy-David Friedman, Co-stationarity of the ground model, Journal of Symbolic Logic, vol. 71 (2006), no. 3, pp. 1029--1043.
Sy-David Friedman, Internal consistency and the inner model hypothesis, Bulletin of Symbolic Logic, vol. 12 (2006), no. 4, pp. 591--600.
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
Telis K. Menas, On strong compactness and supercompactness, Annals of Mathematical Logic, vol. 7 (1974/75), pp. 327--359.
Mathematical Reviews (MathSciNet): MR357121