Tag Archives: James Cummings

Singular cardinals and strong extenders

Posted on by
Reply

[bibtex key=ApterCummingsHamkins2013:SingularCardinalsAndStrongExtenders]

Brent Cody asked the question whether the situation can arise that one has an elementary embedding $j:V\to M$ witnessing the $\theta$-strongness of a cardinal $\kappa$, but where $\theta$ is regular in $M$ and singular in $V$.

In this article, we investigate the various circumstances in which this does and does not happen, the circumstances under which there exist a singular cardinal $\mu$ and a short $(\kappa, \mu)$-extender $E$ witnessing “$\kappa$ is $\mu$-strong”, such that $\mu$ is singular in $Ult(V, E)$.

Large cardinals with few measures

Posted on by
Reply

[bibtex key=ApterCummingsHamkins2006:LargeCardinalsWithFewMeasures]

We show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly $\kappa^+$ many normal measures on the least measurable cardinal $\kappa$. This answers a question of Stewart Baldwin. The methods generalize to higher cardinals, showing that the number of $\lambda$-strong compactness or $\lambda$-supercompactness measures on $P_\kappa(\lambda)$ can be exactly $\lambda^+$, if $\lambda>\kappa$ is a regular cardinal. We conclude with a list of open questions. Our proofs use a critical observation due to James Cummings.