TY - JOUR
T1 - Superstrong and other large cardinals are never Laver indestructible
AU - Bagaria, Joan
AU - Hamkins, Joel David
AU - Tsaprounis, Konstantinos
AU - Usuba, Toshimichi
N1 - Funding Information:
The research work of the first author was partially supported by the Spanish Ministry of Science and Innovation under Grant MTM2011-25229 and by the Generalitat de Catalunya (Catalan Government) under Grant 2009-SGR-187. The second author’s research has been supported in part by Simons Foundation Grant 209252, PSC-CUNY Grant 64732-00-42, and CUNY Collaborative Incentive grant 80209-06 20, and he is grateful for the support provided to him as a visitor at the University of Barcelona in December 2012, where much of this research took place in the days immediately following the dissertation defense of the third author, inspired by remarks made at the defense. The fourth author had subsequently proved essentially similar results independently, and so we joined forces, merged the papers and strengthened the results into the present account. Commentary concerning this article can be made at jdh.hamkins.org/superstrong-never-indestructible .
Publisher Copyright:
© 2015, Springer-Verlag Berlin Heidelberg.
PY - 2016/2/1
Y1 - 2016/2/1
N2 - Superstrong cardinals are never Laver indestructible. Similarly, almost huge cardinals, huge cardinals, superhuge cardinals, rank-into-rank cardinals, extendible cardinals, 1-extendible cardinals, 0-extendible cardinals, weakly superstrong cardinals, uplifting cardinals, pseudo-uplifting cardinals, superstrongly unfoldable cardinals, Σn-reflecting cardinals, Σn-correct cardinals and Σn-extendible cardinals (all for n ≥ 3) are never Laver indestructible. In fact, all these large cardinal properties are superdestructible: if κ exhibits any of them, with corresponding target θ, then in any forcing extension arising from nontrivial strategically <κ-closed forcing (Formula presented.), the cardinal κ will exhibit none of the large cardinal properties with target θ or larger.
AB - Superstrong cardinals are never Laver indestructible. Similarly, almost huge cardinals, huge cardinals, superhuge cardinals, rank-into-rank cardinals, extendible cardinals, 1-extendible cardinals, 0-extendible cardinals, weakly superstrong cardinals, uplifting cardinals, pseudo-uplifting cardinals, superstrongly unfoldable cardinals, Σn-reflecting cardinals, Σn-correct cardinals and Σn-extendible cardinals (all for n ≥ 3) are never Laver indestructible. In fact, all these large cardinal properties are superdestructible: if κ exhibits any of them, with corresponding target θ, then in any forcing extension arising from nontrivial strategically <κ-closed forcing (Formula presented.), the cardinal κ will exhibit none of the large cardinal properties with target θ or larger.
KW - Forcing
KW - Indestructible cardinals
KW - Large cardinals
UR - http://www.scopus.com/inward/record.url?scp=84956605656&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84956605656&partnerID=8YFLogxK
U2 - 10.1007/s00153-015-0458-3
DO - 10.1007/s00153-015-0458-3
M3 - Article
AN - SCOPUS:84956605656
SN - 0933-5846
VL - 55
SP - 19
EP - 35
JO - Archive for Mathematical Logic
JF - Archive for Mathematical Logic
IS - 1-2
ER -