Return to Answer

There are numerous similar instances of this. Any time a large cardinal notion is witnessed by a single object or is witnessed inside some $V_\theta$ — and this would include weakly compact, Ramsey, measurable, superstrong, almost huge, huge, rank-to-rank and others — then the least instance of that cardinal will be less than the least $\Sigma_2$-reflecting cardinal and indeed less than the least $\Sigma-2$-correct cardinal. But $\Sigma_2$ correct cardinals provably exist in ZFC, and therefore have very low consistency strength.

There are numerous similar instances of this. Any time a large cardinal notion is witnessed by a single object or is witnessed inside some $V_\theta$ — and this would include weakly compact, Ramsey, measurable, superstrong, almost huge, huge, rank-to-rank and others — then the least instance of that cardinal will be less than the least $\Sigma_2$-reflecting cardinal and indeed less than the least $\Sigma_2$-correct cardinal. But $\Sigma_2$ correct cardinals provably exist in ZFC, and therefore have very low consistency strength.

• A supercompact cardinal versus a strongly compact plus an inaccessible above.

• A supercompact cardinal versus a proper class of strongly compact cardinals.

• A Laver-indestructible weakly compact cardinals versus a strongly compact cardinal.

• A cardinal $\kappa$ that is $\kappa^+$-supercompact versus $\kappa$ is $\kappa++$-strongly compact.

• A PFA cardinal versus a strongly compact cardinal.

• And many others.

• A supercompact cardinal versus a strongly compact plus an inaccessible above.

• A supercompact cardinal versus a proper class of strongly compact cardinals.

• A Laver-indestructible weakly compact cardinals versus a strongly compact cardinal.

• A cardinal $\kappa$ that is $\kappa^+$-supercompact versus $\kappa$ is $\kappa^{++}$-strongly compact.

• A PFA cardinal versus a strongly compact cardinal.

• And many others.

• A supercompact cardinal versus a strongly compact plus an inaccessible above.

• A supercompact cardinal versus a proper class of strongly compact cardinals.

• A Laver-indestructible weakly compact cardinals versus a strongly compact cardinal.

• A PFA cardinal versus a strongly compact cardinal.

• And many others.

• A supercompact cardinal versus a strongly compact plus an inaccessible above.

• A supercompact cardinal versus a proper class of strongly compact cardinals.

• A Laver-indestructible weakly compact cardinals versus a strongly compact cardinal.

• A cardinal $\kappa$ that is $\kappa^+$-supercompact versus $\kappa$ is $\kappa++$-strongly compact.

• A PFA cardinal versus a strongly compact cardinal.

• And many others.