Small forcing creates neither strong nor Woodin cardinals

  • J. D. Hamkins and W. Woodin, “Small forcing creates neither strong nor Woodin cardinals,” Proc.~Amer.~Math.~Soc., vol. 128, iss. 10, pp. 3025-3029, 2000.  
    @article {HamkinsWoodin2000:SmallForcing,
    AUTHOR = {Hamkins, Joel David and Woodin, W.~Hugh},
    TITLE = {Small forcing creates neither strong nor {W}oodin cardinals},
    JOURNAL = {Proc.~Amer.~Math.~Soc.},
    FJOURNAL = {Proceedings of the American Mathematical Society},
    VOLUME = {128},
    YEAR = {2000},
    NUMBER = {10},
    PAGES = {3025--3029},
    ISSN = {0002-9939},
    CODEN = {PAMYAR},
    MRCLASS = {03E35 (03E55)},
    MRNUMBER = {1664390 (2000m:03121)},
    MRREVIEWER = {Carlos A.~Di Prisco},
    DOI = {10.1090/S0002-9939-00-05347-8},
    URL = {http://dx.doi.org/10.1090/S0002-9939-00-05347-8},
    eprint = {math/9808124},
    archivePrefix = {arXiv},
    primaryClass = {math.LO},
    }

After small forcing, almost every strongness embedding is the lift of a strongness embedding in the ground model. Consequently, small forcing creates neither strong nor Woodin cardinals.

Universal indestructibility

  • J. D. Apter Arthur W.~and Hamkins, “Universal indestructibility,” Kobe J.~Math., vol. 16, iss. 2, pp. 119-130, 1999.  
    @article {ApterHamkins99:UniversalIndestructibility,
    AUTHOR = {Apter, Arthur W.~and Hamkins, Joel David},
    TITLE = {Universal indestructibility},
    JOURNAL = {Kobe J.~Math.},
    FJOURNAL = {Kobe Journal of Mathematics},
    VOLUME = {16},
    YEAR = {1999},
    NUMBER = {2},
    PAGES = {119--130},
    ISSN = {0289-9051},
    MRCLASS = {03E55 (03E35)},
    MRNUMBER = {1745027 (2001k:03112)},
    MRNUMBER = {1 745 027},
    eprint = {math/9808004},
    archivePrefix = {arXiv},
    primaryClass = {math.LO},
    }

From a suitable large cardinal hypothesis, we provide a model with a supercompact cardinal in which universal indestructibility holds: every supercompact and partially supercompact cardinal kappa is fully indestructible by kappa-directed closed forcing. Such a state of affairs is impossible with two supercompact cardinals or even with a cardinal which is supercompact beyond a measurable cardinal.

Superdestructibility: a dual to Laver's indestructibility

  • J. D. Hamkins and S. Shelah, “Superdestructibility: a dual to Laver’s indestructibility,” J.~Symbolic Logic, vol. 63, iss. 2, pp. 549-554, 1998. ([HmSh:618])  
    @article {HamkinsShelah98:Dual,
    AUTHOR = {Hamkins, Joel David and Shelah, Saharon},
    TITLE = {Superdestructibility: a dual to {L}aver's indestructibility},
    JOURNAL = {J.~Symbolic Logic},
    FJOURNAL = {The Journal of Symbolic Logic},
    VOLUME = {63},
    YEAR = {1998},
    NUMBER = {2},
    PAGES = {549--554},
    ISSN = {0022-4812},
    CODEN = {JSYLA6},
    MRCLASS = {03E55 (03E40)},
    MRNUMBER = {1625927 (99m:03106)},
    MRREVIEWER = {Douglas R.~Burke},
    DOI = {10.2307/2586848},
    URL = {http://dx.doi.org/10.2307/2586848},
    note = {[HmSh:618]},
    eprint = {math/9612227},
    archivePrefix = {arXiv},
    primaryClass = {math.LO},
    }

After small forcing, any $<\kappa$-closed forcing will destroy the supercompactness, even the strong compactness, of $\kappa$.

Small forcing makes any cardinal superdestructible

  • J. D. Hamkins, “Small forcing makes any cardinal superdestructible,” J.~Symbolic Logic, vol. 63, iss. 1, pp. 51-58, 1998.  
    @article {Hamkins98:SmallForcing,
    AUTHOR = {Hamkins, Joel David},
    TITLE = {Small forcing makes any cardinal superdestructible},
    JOURNAL = {J.~Symbolic Logic},
    FJOURNAL = {The Journal of Symbolic Logic},
    VOLUME = {63},
    YEAR = {1998},
    NUMBER = {1},
    PAGES = {51--58},
    ISSN = {0022-4812},
    CODEN = {JSYLA6},
    MRCLASS = {03E40 (03E55)},
    MRNUMBER = {1607499 (99b:03068)},
    MRREVIEWER = {Jakub Jasi{\'n}ski},
    DOI = {10.2307/2586586},
    URL = {http://jdh.hamkins.org/superdestructibility/},
    eprint = {1607.00684},
    archivePrefix = {arXiv},
    primaryClass = {math.LO},
    }

Destruction or preservation as you like it

  • J. D. Hamkins, “Destruction or preservation as you like it,” Ann.~Pure Appl.~Logic, vol. 91, iss. 2-3, pp. 191-229, 1998.  
    @article {Hamkins98:AsYouLikeIt,
    AUTHOR = {Hamkins, Joel David},
    TITLE = {Destruction or preservation as you like it},
    JOURNAL = {Ann.~Pure Appl.~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.

Fragile measurability

  • J. Hamkins, “Fragile measurability,” J.~Symbolic Logic, vol. 59, iss. 1, pp. 262-282, 1994.  
    @article {Hamkins94:FragileMeasurability,
    AUTHOR = {Hamkins, Joel},
    TITLE = {Fragile measurability},
    JOURNAL = {J.~Symbolic Logic},
    FJOURNAL = {The Journal of Symbolic Logic},
    VOLUME = {59},
    YEAR = {1994},
    NUMBER = {1},
    PAGES = {262--282},
    ISSN = {0022-4812},
    CODEN = {JSYLA6},
    MRCLASS = {03E35 (03E55)},
    MRNUMBER = {1264978 (95c:03129)},
    MRREVIEWER = {J.~M.~Henle},
    DOI = {10.2307/2275264},
    URL = {http://dx.doi.org/10.2307/2275264},
    }

Lifting and extending measures; fragile measurability

  • J. D. Hamkins, “Lifting and extending measures; fragile measurability,” PhD Thesis, University of California, Berkeley, Department of Mathematics, 1994.  
    @PHDTHESIS{Hamkins94:Dissertation,
    author = {Joel David Hamkins},
    title = {Lifting and extending measures; fragile measurability},
    school = {University of California, Berkeley},
    institution = {University of California, Berkeley},
    year = {1994},
    address = {Department of Mathematics},
    month = {May},
    note = {},
    key = {},
    annote = {},
    }

A scan of the dissertation is available:  Lifting and extending measures; fragile measurability (15 Mb)

 

A class of strong diamond principles

  • J. D. Hamkins, “A class of strong diamond principles,” mathematics arxiv preprint http://arxiv.org/abs/math/0211419, 2002.  
    @ARTICLE{Hamkins:LaverDiamond,
    author = {Joel David Hamkins},
    title = {A class of strong diamond principles},
    journal = {mathematics arxiv preprint http://arxiv.org/abs/math/0211419},
    year = {2002},
    eprint = {math/0211419},
    archivePrefix = {arXiv},
    primaryClass = {math.LO},
    }

In the context of large cardinals, the classical diamond principle $\Diamond_\kappa$ is easily strengthened in natural ways. When $\kappa$ is a measurable cardinal, for example, one might ask that a $\Diamond_\kappa$ sequence anticipate every subset of $\kappa$ not merely on a stationary set, but on a set of normal measure one. This is equivalent to the existence of a function $\ell:\kappa\to V_\kappa$ such that for any $A\in H(\kappa^+)$ there is an embedding $j:V\to M$ having critical point $\kappa$ with $j(\ell)(\kappa)=A$. This and similar principles formulated for many other large cardinal notions, including weakly compact, indescribable, unfoldable, Ramsey, strongly unfoldable and strongly compact cardinals, are best conceived as an expression of the Laver function concept from supercompact cardinals for these weaker large cardinal notions. The resulting Laver diamond principles can hold or fail in a variety of interesting ways.