[bibtex key=HamkinsWoodin2000:SmallForcing]
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.
[bibtex key=HamkinsWoodin2000:SmallForcing]
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.
[bibtex key=ApterHamkins99:UniversalIndestructibility]
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.
[bibtex key=HamkinsShelah98:Dual]
After small forcing, any
[bibtex key=Hamkins98:SmallForcing]
[bibtex key=Hamkins98:AsYouLikeIt]
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
[bibtex key=Hamkins94:FragileMeasurability]
[bibtex key=Hamkins94:Dissertation]
A scan of the dissertation is available: Lifting and extending measures; fragile measurability (15 Mb)
[bibtex key=Hamkins:LaverDiamond]
In the context of large cardinals, the classical diamond principle