### Strongly unfoldable cardinals made indestructible

Thomas A. Johnstone
Source: J. Symbolic Logic Volume 73, Issue 4 (2008), 1215-1248.

#### Abstract

I provide indestructibility results for large cardinals consistent with V=L, such as weakly compact, indescribable and strongly unfoldable cardinals. The Main Theorem shows that any strongly unfoldable cardinal κ can be made indestructible by < κ-closed, κ-proper forcing. This class of posets includes for instance all < κ-closed posets that are either κ⁺-c.c. or ≤ κ-strategically closed as well as finite iterations of such posets. Since strongly unfoldable cardinals strengthen both indescribable and weakly compact cardinals, the Main Theorem therefore makes these two large cardinal notions similarly indestructible. Finally, I apply the Main Theorem to obtain a class forcing extension preserving all strongly unfoldable cardinals in which every strongly unfoldable cardinal κ is indestructible by < κ-closed, κ-proper forcing.

First Page:
Primary Subjects: 03E55, 03E40
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.

Permanent link to this document: http://projecteuclid.org/euclid.jsl/1230396915
Digital Object Identifier: doi:10.2178/jsl/1230396915
Mathematical Reviews number (MathSciNet): MR2467213
Zentralblatt MATH identifier: 05488477

### References

J. Cummings and W. H. Woodin, Generalized Prikry forcings, unpublished manuscript.
Keith J. Devlin, Constructibility, Springer Verlag, Berlin Heidelberg, 1984.
Mathematical Reviews (MathSciNet): MR750828
M. Džamonja and J. D. Hamkins, Diamond (on the regulars) can fail at any strongly unfoldable cardinal, Annals of Pure and Applied Logic, vol. 144 (2006), pp. 83--95.
Mathematical Reviews (MathSciNet): MR2279655
Digital Object Identifier: doi:10.1016/j.apal.2006.05.001
Zentralblatt MATH: 1110.03032
Todd Eisworth, On iterated forcing for successors of regular cardinals, Fundamenta Mathematicae, vol. 179 (2003), pp. 249--266.
Mathematical Reviews (MathSciNet): MR2029324
Digital Object Identifier: doi:10.4064/fm179-3-4
Zentralblatt MATH: 1066.03051
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
Digital Object Identifier: doi:10.1007/BF01624081
Zentralblatt MATH: 0663.03041
J. D. Hamkins and T. A. Johnstone, Indestructible strong unfoldability, submitted.
Joel D. Hamkins, Small forcing makes any cardinal superdestructible, Journal of Symbolic Logic, vol. 63 (1998), no. 1, pp. 51--58.
Mathematical Reviews (MathSciNet): MR1607499
Digital Object Identifier: doi:10.2307/2586586
Zentralblatt MATH: 0906.03051
--------, The lottery preparation, Annals of Pure and Applied Logic, vol. 101 (2000), pp. 103--146.
Mathematical Reviews (MathSciNet): MR1736060
Digital Object Identifier: doi:10.1016/S0168-0072(99)00010-X
Zentralblatt MATH: 0949.03045
--------, Unfoldable cardinals and the $\rm GCH$, Journal of Symbolic Logic, vol. 66 (2001), no. 3, pp. 1186--1198.
Mathematical Reviews (MathSciNet): MR1856735
Digital Object Identifier: doi:10.2307/2695100
Zentralblatt MATH: 1025.03051
--------, Extensions with the approximation and cover properties have no new large cardinals, Fundamenta Mathematicae, vol. 180 (2003), no. 3, pp. 257--277.
Mathematical Reviews (MathSciNet): MR2063629
Digital Object Identifier: doi:10.4064/fm180-3-4
Zentralblatt MATH: 1066.03052
--------, Lectures on forcing and large cardinals, in preparation.
Kai Hauser, Indescribable cardinals and elementary embeddings, Journal of Symbolic Logic, vol. 56 (1991), no. 2, pp. 439--457.
Mathematical Reviews (MathSciNet): MR1133077
Digital Object Identifier: doi:10.2307/2274692
Zentralblatt MATH: 0745.03041
T. Hyttinen and M. Rautila, The canary tree revisited, Journal of Symbolic Logic, vol. 66 (2001), no. 4, pp. 1677--1694.
Mathematical Reviews (MathSciNet): MR1877015
Digital Object Identifier: doi:10.2307/2694968
Zentralblatt MATH: 0993.03061
Thomas Jech, Set theory, Springer-Verlag, Berlin Heidelberg New York, 2003.
Mathematical Reviews (MathSciNet): MR1940513
B. König and Y. Yoshinobu, Kurepa-trees and namba forcing, 2006, family arXiv:math.LO/ 0605130.
Kenneth Kunen, Set theory, An introduction to independence proofs, North Holland, 1980.
Mathematical Reviews (MathSciNet): MR597342
Richard Laver, Making the supercompactness of $\kappa$ indestructible under $\kappa$-directed closed forcing, Israel Journal of Mathematics, vol. 29 (1978), pp. 385--388.
Mathematical Reviews (MathSciNet): MR472529
Digital Object Identifier: doi:10.1007/BF02761175
Zentralblatt MATH: 0381.03039
Tadatoshi Miyamoto, A note on weak segments of PFA, Proceedings of the sixth Asian logic conference (River Edge, NJ), World Science Publishers, 1998, pp. 175--197.
Mathematical Reviews (MathSciNet): MR1789737
Jonas Reitz, The ground axiom, Ph.D. Dissertation, The Graduate Center of The City University of New York, 2006.
Mathematical Reviews (MathSciNet): MR2371206
Digital Object Identifier: doi:10.2178/jsl/1203350787
Project Euclid: euclid.jsl/1203350787
Zentralblatt MATH: 1135.03018
Andrzej Roslanowski, Shelah's search for properness for iterations with uncountable supports, unpublished talk at MAMLS, Rutgers University, October 2005.
Andrzej Roslanowski and Saharon Shelah, Sheva-Sheva-Sheva: Large creatures, family arXiv:math.LO/ 0210205, 2002.
Mathematical Reviews (MathSciNet): MR2342475
Digital Object Identifier: doi:10.1007/s11856-007-0040-8
Saharon Shelah, Independence results, Journal of Symbolic Logic, vol. 45 (1980), no. 3, pp. 563--573.
Mathematical Reviews (MathSciNet): MR583374
Digital Object Identifier: doi:10.2307/2273423
Zentralblatt MATH: 0451.03017
--------, Proper and improper forcing, Springer-Verlag, Berlin Heidelberg New York, 1998.
Mathematical Reviews (MathSciNet): MR1623206
Andres Villaveces, Chains of end elementary extensions of models of set theory, Journal of Symbolic Logic, vol. 63 (1998), no. 3, pp. 1116--1136.
Mathematical Reviews (MathSciNet): MR1649079
Digital Object Identifier: doi:10.2307/2586730
Zentralblatt MATH: 0915.03034