Fragile Measurability
Hamkins, Joel
J. Symbolic Logic, Tome 59 (1994) no. 1, p. 262-282 / Harvested from Project Euclid
Laver [L] and others [G-S] have shown how to make the supercompactness or strongness of $\kappa$ indestructible by a wide class of forcing notions. We show, alternatively, how to make these properties fragile. Specifically, we prove that it is relatively consistent that any forcing which preserves $\kappa^{<\kappa}$ and $\kappa^+$, but not $P(\kappa)$, destroys the measurability of $\kappa$, even if $\kappa$ is initially supercompact, strong, or if $I_1(\kappa)$ holds. Obtained as an application of some general lifting theorems, this result is an "inner model" type of theorem proved instead by forcing.
Publié le : 1994-03-14
Classification: 
@article{1183744448,
     author = {Hamkins, Joel},
     title = {Fragile Measurability},
     journal = {J. Symbolic Logic},
     volume = {59},
     number = {1},
     year = {1994},
     pages = { 262-282},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744448}
}
Hamkins, Joel. Fragile Measurability. J. Symbolic Logic, Tome 59 (1994) no. 1, pp.  262-282. http://gdmltest.u-ga.fr/item/1183744448/