-
J. D. Hamkins, “Destruction or preservation as you like it,” Annals of Pure and Applied Logic, vol. 91, iss. 2-3, p. 191–229, 1998.
[Bibtex]@article {Hamkins98:AsYouLikeIt, AUTHOR = {Hamkins, Joel David}, TITLE = {Destruction or preservation as you like it}, JOURNAL = {Annals of Pure and Applied Logic}, FJOURNAL = {Annals of Pure and Applied Logic}, VOLUME = {91}, YEAR = {1998}, NUMBER = {2-3}, PAGES = {191--229}, ISSN = {0168-0072}, CODEN = {APALD7}, MRCLASS = {03E55 (03E35)}, MRNUMBER = {1604770 (99f:03071)}, MRREVIEWER = {Joan Bagaria}, DOI = {10.1016/S0168-0072(97)00044-4}, URL = {http://jdh.hamkins.org/asyoulikeit/}, eprint = {1607.00683}, archivePrefix = {arXiv}, primaryClass = {math.LO}, }
The Gap Forcing Theorem, a key contribution of this paper, implies essentially that after any reverse Easton iteration of closed forcing, such as the Laver preparation, every supercompactness measure on a supercompact cardinal extends a measure from the ground model. Thus, such forcing can create no new supercompact cardinals, and, if the GCH holds, neither can it increase the degree of supercompactness of any cardinal; in particular, it can create no new measurable cardinals. In a crescendo of what I call exact preservation theorems, I use this new technology to perform a kind of partial Laver preparation, and thereby finely control the class of posets which preserve a supercompact cardinal. Eventually, I prove the ‘As You Like It’ Theorem, which asserts that the class of ${<}\kappa$-directed closed posets which preserve a supercompact cardinal $\kappa$ can be made by forcing to conform with any pre-selected local definition which respects the equivalence of forcing. Along the way I separate completely the levels of the superdestructibility hierarchy, and, in an epilogue, prove that the notions of fragility and superdestructibility are orthogonal — all four combinations are possible.