An equiconsistency for universal indestructibility
Arthur W. Apter and Grigor Sargsyan
Source: J. Symbolic Logic Volume 75, Issue 1
(2010), 314-322.
Abstract
We obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woodin cardinal, Stewart Baldwin's notion of hyperstrong cardinal. We also briefly indicate how our methods are applicable to universal indestructibility for supercompactness and strong compactness.
First Page:
Show
Hide
Keywords: Universal indestructibility; indestructibility; equiconsistency; measurable cardinal; strong cardinal; hyperstrong cardinal; Woodin cardinal; strongly compact cardinal; supercompact cardinal; core model
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/1264433923
Digital Object Identifier: doi:10.2178/jsl/1264433923
Zentralblatt MATH identifier: 05681306
Mathematical Reviews number (MathSciNet): MR2605896
References
A. Apter and J. D. Hamkins, Universal indestructibility, Kobe Journal of Mathematics, vol. 16 (1999), pp. 119--130.
Mathematical Reviews (MathSciNet): MR1745027
Zentralblatt MATH: 0953.03060
A. Apter and G. Sargsyan, A reduction in consistency strength for universal indestructibility, Bulletin of the Polish Academy of Sciences (Mathematics), vol. 55 (2007), pp. 1--6.
Mathematical Reviews (MathSciNet): MR2304294
Zentralblatt MATH: 1121.03068
Digital Object Identifier: doi:10.4064/ba55-1-1
S. Baldwin, Between strong and superstrong, Journal of Symbolic Logic, vol. 51 (1986), pp. 547--559.
Mathematical Reviews (MathSciNet): MR853838
Zentralblatt MATH: 0644.03026
Digital Object Identifier: doi:10.2307/2274012
JSTOR: links.jstor.org
M. Gitik and S. Shelah, On certain indestructibility of strong cardinals and a question of Hajnal, Archive for Mathematical Logic, vol. 28 (1989), pp. 35--42.
Mathematical Reviews (MathSciNet): MR987765
Zentralblatt MATH: 0663.03041
Digital Object Identifier: doi:10.1007/BF01624081
J. D. Hamkins, Gap forcing: Generalizing the Lévy-Solovay Theorem, Bulletin of Symbolic Logic, vol. 5 (1999), pp. 264--272.
Mathematical Reviews (MathSciNet): MR1792281
Digital Object Identifier: doi:10.2307/421092
JSTOR: links.jstor.org
--------, The lottery preparation, Annals of Pure and Applied Logic, vol. 101 (2000), pp. 103--146.
Mathematical Reviews (MathSciNet): MR1736060
Zentralblatt MATH: 0949.03045
Digital Object Identifier: doi:10.1016/S0168-0072(99)00010-X
--------, Gap forcing, Israel Journal of Mathematics, vol. 125 (2001), pp. 237--252.
Mathematical Reviews (MathSciNet): MR1853813
Zentralblatt MATH: 1010.03042
Digital Object Identifier: doi:10.1007/BF02773382
A. Kanamori, The higher infinite, Springer-Verlag, Berlin and New York, 1994.
Mathematical Reviews (MathSciNet): MR1321144
R. Laver, Making the supercompactness of $\gk$ indestructible under $\gk$-directed closed forcing, Israel Journal of Mathematics, vol. 29 (1978), pp. 385--388.
Mathematical Reviews (MathSciNet): MR472529
Zentralblatt MATH: 0381.03039
Digital Object Identifier: doi:10.1007/BF02761175
J. Steel, The core model iterability problem, Lecture Notes in Logic, vol. 8, Springer-Verlag, Berlin and New York, 1996.
Mathematical Reviews (MathSciNet): MR1480175
Zentralblatt MATH: 0864.03035
M. Zeman, Inner models and large cardinals, de Gruyter Series in Logic and its Applications, vol. 5, Walter de Gruyter and Co., Berlin, 2002.
Mathematical Reviews (MathSciNet): MR1876087
Zentralblatt MATH: 0987.03002
