Charles Explorer logo
🇬🇧

A Laver-like indestructibility for hypermeasurable cardinals

Publication at Faculty of Arts |
2019

Abstract

We show that if $\kappa$ is $H(\mu)$-hypermeasurable for some cardinal $\mu$ with $\kappa < \cf{\mu} \le \mu$ and GCH holds, then we can extend the universe by a cofinality-preserving forcing to obtain a model $V^*$ in which the $H(\mu)$-hyper\-measurability of $\kappa$ is indestructible by the Cohen forcing at $\kappa$ of any length up to $\mu$ (in particular $\kappa$ is $H(\mu)$-hypermeasurable in $V^*$). The preservation of hypermeasurability (in contrast to preservation of mere measurability) is useful for subsequent arguments (such as the definition of Radin forcing).

The construction of $V^*$ is based on the ideas of Woodin (unpublished) and Cummings for preservation of measurability, but suitably generalised and simplified to achieve a more general result. Unlike the Laver preparation for a supercompact cardinal, our preparation non-trivially increases the value of $2^{\kappa^+}$, which is greater or equal to $\mu$ in $V^*$ (but $2^\kappa =\kappa^+$ is still true in $V^*$ if we start with GCH).