Large cardinal consistency strength and size

My understanding is that large cardinals are ordered by "consistency strength", but how does this correlate with their size (cardinality)?

More specifically, are there any systematic results on the lines of: If A and B are two types of large cardinals such that Cons(ZFC + Type A exists) => Cons( ZFC + Type B exists) THEN Cardinality of smallest Type A cardinal >= Cardinality of smallest Type B cardinal

• I recall some result that the least supercompact is smaller than the least measurable if both exist, despite consistency strength going other way around. – Wojowu Sep 16 '15 at 5:21
• @Wojowu That's not true, as you wrote, if $\kappa$ is supercompact, then there are $\kappa$-many measurables below it. – Mohammad Golshani Sep 16 '15 at 6:28
• @Wojowu: You might have meant the result I cite in my answer. – Asaf Karagila Sep 16 '15 at 6:39
• Note that the structure that is embodied in a large cardinal definition may be quite delicate, and the consistency of that structure is the issue, not how big the underlying cardinal is. – David Roberts Sep 16 '15 at 7:01
• Here is a related MathOverflow question comparing consistency and implication strength orders with each other. It could be of your interest as well. – Morteza Azad Aug 29 '17 at 10:18

I may note that a cardinal of type $A$ may has more consistency strength of a cardinal of type $B$, while the smallest cardinal of type $A$ is smaller than the least cardinal of type $B$ (assuming cardinals of both types exist). For example:

The consistency of a huge cardinal implies the consistency of a supercompact cardinal, nevertheless, the least huge cardinal is smaller than the least supercompact cardinal (assuming both exist).

Similar to what Mohammad writes, but slightly different, Magidor found the identity crisis of strongly compact cardinals:

It is consistent that the least strongly compact cardinal is the least measurable cardinal, and it is consistent that the least strongly compact cardinal is the least supercompact cardinal.

This is despite the fact strongly compact cardinals sit far above measurable cardinals in consistency strength; and as Mohammad points out in the comments, a supercompact has many measurable cardinals below it.

Typically, large cardinals with stronger consistency strength are larger, but there is an important general exception:
If a large cardinal axiom is $Σ_{k+1}$, then typically the least example is larger than the least example for a $Σ_k$ axiom regardless of the consistency strength. This is because $Σ_{k+1}$ large cardinal axioms typically imply that the cardinal is a $Σ_k$ elementary substructure of $V$ (and thus larger than the least example satisfying a $Σ_k$ axiom). However, a consistency-wise stronger $Σ_k$ axiom typically implies existence of $V_κ$ that satisfies a consistency-wise weaker $Σ_{k+1}$ axiom.

For example, the least strong cardinal ($Σ^V_3$ existence axiom) is larger than the least Woodin cardinal ($Σ^V_2$ existence axiom), which in turn is larger than the least cardinal strong up to an inaccessible ($Σ^V_2$ existence axiom), which in turn implies existence of $V_κ$ satisfying "ZFC + there is a strong cardinal".

There are also ad hoc exceptions (such as, at least in some generic extensions, strongly compact cardinals), but their relative infrequency is a testament to the coherency of the large cardinal hierarchy.