Robert S. Lubarsky and Norman Lewis Perlmutter
To appear in Mathematical Logic Quarterly.
Read a preprint here.
Abstract
We show that, in terms of both implication and consistency strength, an extendible with a larger strong cardinal is stronger than an enhanced supercompact, which is itself stronger than a hypercompact, which is itself weaker than an extendible. All of these are easily seen to be stronger than a supercompact. We also study $C^{(n)}$ -supercompactness.