The failure of GCH at a degree of supercompactness

Brent Cody

Published 2011-10-24, updated 2012-07-26Version 3

We determine the large cardinal consistency strength of the existence of a $\lambda$-supercompact cardinal $\kappa$ such that GCH fails at $\lambda$. Indeed, we show that the existence of a $\lambda$-supercompact cardinal $\kappa$ such that $2^\lambda \geq \theta$ is equiconsistent with the existence of a $\lambda$-supercompact cardinal that is also $\theta$-tall. We also prove some basic facts about the large cardinal notion of tallness with closure.