The usual relations to consider in the large cardinal hierarchy
are
- Direct implication: every A cardinal is also a B cardinal
- Consistency strength implication: if ZFC + there is an A cardinal
is consistent, then so is ZFC + there is a B cardinal.
Your concept, however, is focused on the least instance of the
large cardinal notion, and this is also studied.
In broad terms, the large cardinal hierarchy is roughly linear,
with the stronger cardinals being stronger with respect to all
three of these relations. In most instances, we have that every A
cardinal (the stronger notion) is also a B cardinal, as well as a
limit of B cardinals, and so we get also the consistency
implication and the least A cardinal is strictly larger than the
least B cardinal.
However, there are some notable deviations from this. These
deviations come in two types.
First, there are the instances where a large cardinal concept A
has stronger consistency strength than B, but the least instance
of A is definitely less than the least instance of B. For example,
a superstrong cardinal has higher consistency strength
than a mere strong cardinal, since if $\kappa$ is superstrong, then $V_\kappa\models$ ZFC + there
is a proper class of strong cardinals, but the least superstrong
cardinal is definitely less than the least strong cardinal. This
is simply because superstrongness is witnessed by a single object,
and strong cardinals are $\Sigma_2$ reflecting, and therefore
reflect the least instance below.
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.
So we have numerous interesting instances where your $<$ order
does not align with consistency strength:
- The least almost huge cardinal is strictly less than the least
strong cardinal.
- The least rank-to-rank cardinal is strictly less than the least
strongly unfoldable cardinal.
- The least $5$-huge cardinal is strictly less than the least
uplifting cardinal.
- There are hundreds of other similar examples. You can invent them yourself!
Meanwhile, second, there are examples of your $\perp$ situation,
where the size of the smallest instance is not yet settled. This
phenomenon is known as the "identity-crises" phenomenon, named by
Magidor when he proved that the least measurable can be the same
as the least strongly compact, or strictly less, depending on the
model of set theory. Many further instances of this are now known,
some of which appear in my paper:
This paper provides many instances of your $\perp$ situation, where the question of whether the least A cardinal is smaller than or the same size as the least B cardinal is not settled in ZFC.
Finally, let me qualify my remark that the large cardinal hierarchy is roughly linear. The hierarchy is indeed mainly linear, but one sometimes hears stronger assertions of linearity, as something that we know and which needs explanation, but I don't feel these knowledge claims are justified. Of course, the identity crises phenomenon provides instances of non-linearity in the direct implication hierarchy, and so when large cardinal set theorists assert that the large cardinal hierarchy is linear, they are speaking of the consistency strength order. So let me mention a few cases where we simply don't yet know linearity:
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.
My perspective is this. Because we have essentially no method for proving non-linearity in the consistency strength hierarchy, it is not surprising that we see only instances of linearity, and this may be a case of confirmation bias. But don't get me wrong: of course I agree that the consistency strength hierarchy is mainly linear in broad strokes.
Best Answer
I added some information elsewhere, but it was to long to put in one post: http://metaordinals.azurewebsites.net/?p=261
Part 1: Your ordering is correct, but the size of the gaps are much more complex than just $LC_1<LC_2$ can express, and that list might be misleading. There are two main types of limits. Stationary limits are classes of cardinals $LC_1$ such that for such cardinal $\kappa$, the set $\{\lambda<\kappa\mid \text{$\lambda$ satisfies }LC_2\}$ is stationary in $\kappa$; and measurable limits, where there is a normal measure $D$ on $\kappa$ such that the set $\{\lambda<\kappa\mid \text{$\lambda$ satisfies }LC_2\}\in D$. We can codify these into operators; the stationary limit operator $M(X)$, and the measurable limit operator $o(X)$. From here we get two degrees of transcendence. We can define stationary transcendence as the existence of a $\kappa$-complete normal filter $F$ on $\kappa$ closed under $M(X)$, and measurable transcendence as the existence of a $\kappa$-complete normal filter $F$ on $\kappa$ closed under $o(X)$.
The set of Mahlo cardinals are precisely the set of stationarily transcendent cardinals over the inaccessibles. Every weakly compact cardinal is stationarily transcendent over the Mahlo cardinals.
In my opinion the standard definition of totally indescribable cardinals has been butchered. Define a cardinal $\kappa$ as $\lambda$-indescribable if and only if for every $S\subseteq V_\kappa$ and $\lambda$th order sentence $\phi$, there exists some $\alpha<\kappa$ such that $(V_\alpha,\in,S\cap V_\alpha)\vDash \phi \leftrightarrow (V_\kappa,\in,S\cap V_\kappa)\vDash \phi$. Then it is consistent for a cardinal $\kappa$ to be $\lambda$-indescribable for $\lambda>\kappa$, and we can call a cardinal totally-indescribable if it is $\lambda$-indescribable for every cardinal $\lambda$. Under the typical definition the totally indescribable cardinals would be the $\omega$-indescribable cardinals.
The $(\lambda+1)$-indescribable cardinals are stationarily transcendent over the $\lambda$-indescribable cardinals, and every critical point of a non-trivial elementary embedding $j:M\rightarrow M$ is totally indescribable. If I am not mistaken, every weakly measurable cardinals is $\Sigma^2_1$-indescribable.
Theorem: Every measurable cardinal is a measurable limit of totally indescribable cardinals.
Proof. Consider the normal measure given by $D=\{X\subseteq \kappa|\kappa\in j(X)\}$. Then $D$ is $\kappa$-complete normal ultrafilter. Note that for every $\alpha$th order formula $\phi$, its revitalization $\phi^{V_\kappa}$ is first order and moreover there is a truth predicate for $V_\kappa$. Also note that if $V_{j(\kappa)}\vDash \phi(S)$, then $V_\kappa\vDash \phi(S\cap V_\kappa)$ and so $j(\kappa)$ is totally indescribable. Moreover, the statement $\kappa$ is totally indescribable is $\Sigma_1$ and $M$ is an inner model and so $M\prec_{\Sigma_1}V$ and so $M\vDash(\text{$j(\kappa)$ is totally indescribable})$. Therefore $U\in D$, where $U=\{\lambda<\kappa\mid \text{$\lambda$ is totally indescribable}\}$.■
Beyond that, however, the gaps are much larger, being instead measurable gaps. The $(n+1)$- are measurably transcendent over the $n$-huge cardinals (By a simple alteration to the standard proof that they are measurable limits of $n$-huge cardinals).
Theorem: The rank-into-rank cardinals are measurably transcendent over the $\omega$-huge cardinals.
Proof. Consider the filter generated by sets of the from $C\cap U_\omega$, where $U_\omega=\{\lambda<\kappa\mid \text{$\lambda$ is $\omega$-huge}\}$, and $C$ is club in $\kappa_n$. It is clearly a normal filter, assuming $U$ is stationary, and similarly if $U$ is stationary closed under diagonal intersection. Now suppose we have a non-trivial elementary embedding $j: V_\lambda\rightarrow V_\lambda$, then $\kappa_n$ is $\omega$-huge$^1$ and so it remains to show $U$ is stationary in $\kappa_n$. Consider the normal measure, $D=\{X\subseteq \kappa_n|\kappa_n\in j(X)\}$. Then $\kappa_{n+1}$ is $\omega$-huge and so $U_\omega\in D$, where $U_\omega=\{\lambda<\kappa\mid\text{$\lambda$ is $\omega$-huge}\}$. To see that it is closed under $o(X)$, observe $o(C\cap U)=o(C)\cap o(U)$, and by a similar argument such $o(U)=C\cap U$, where $C$ is the class of measurable limits of $U$, and it is clear $o(C)$ is closed. To see that it is unbounded, first observe that as $C$ is club, for every normal measure $D$ we have $C\in D$. Consider the normal measure $D=\{X\subseteq \kappa_n\mid \kappa_n\in j(X)\}$. As $M\vDash\text{There is a normal measure on $\kappa_{n+1}$ that contains $j(C)$}$, we have $o(C)\in D$.■
The gap between supercompact and rank-into-rank cardinals is also quite large.
Theorem: The supercompact cardinals are measurably transcendent over the rank-into-rank cardinals.
Proof. Every supercompact cardinal $\kappa$ is $\Sigma_2$-reflecting, and the property "$\kappa_n$ is rank-into-rank," "There exists a "rank-into-rank embedding," are both $\Sigma_2{}^1$. Moreover, it is easy to see that the supercompact cardinals are measurably transcendent over the rank-into-rank cardinals.■
Lemma: The extendible cardinals are measurably transcendent over the rank-into-rank cardinals.
Proof. Simply replace "There exists a rank-into-rank cardinal" with "There exists a supercompact cardinal" and use the fact that extendible cardinals are $\Sigma_3$-reflecting.■
So in conclusion, this list is technically correct, yet very misleading, as it gives the impression that the size gaps are around uniform.
Part 2: Yes, you omitted several very important cardinals. First, I am not sure if you omitted these because you considered them identity crises, but the weakly measurable cardinals are above the totally indescribable cardinals but below (Or equal, assuming the $\mathsf{GCH}$) the measurable cardinals. Also the weakly indescribable cardinals are rather interesting; if $\kappa$ is weakly indescribable $L_\kappa\vDash \mathsf{ZFC}+V=L$. In fact, this fact doesn't even require Choice.
The most tragic omission is definitely the worldly cardinals. A cardinal $\kappa$ is worldly if and only if $V_\kappa\vDash \mathsf{ZFC}$. The worldly cardinals are the smallest type of large cardinal; if $\kappa$ is inaccessible there is a $\kappa$-complete filter $F$ on $\kappa$ closed under the worldly limit point operator (By a simple alteration to $^2$).
The pseudo-uplifting cardinals are weaker than the Mahlo cardinals, yet every pseudo-uplifting cardinal is a limit of inaccessibles, and the pseudo-uplifting cardinals are stationarily transcendent over the $\Sigma_3$-reflecting cardinals. Therefore, assuming the existence of a supercompact cardinal, the pseudo-uplifting cardinals are stationarily transcendent over the supercompact cardinals, and the uplifting cardinals are limits of pseudo-uplifting cardinals. I am not sure if you omitted because you considered them identity crises, yet they are still interesting. Beyond the totally indescribable cardinals are the strongly unfoldable cardinals.
Theorem: The strongly unfoldable cardinals are stationarily transcendent over the totally indescribable cardinals.
Proof. Consider the filter generated by sets of the form $C\cap U$, where $U=\{\lambda<\kappa\mid\text{$\lambda$ is totally indescribable}\}$, and $C$ is club in $\kappa$. It is clearly a normal filter, assuming $U$ is stationary, and similarly if $U$ is stationary closed under diagonal intersection. Now suppose we have a non-trivial elementary embedding $j: M\rightarrow N$, then $(V_\kappa,\in,S)\prec(V_{j(\kappa)},\in,j(S))$. Then $j(S)\cap V_\kappa=S$ and so it remains to show $U$ is stationary in $j(\kappa)$. By the same logic as before, $j(\kappa)$ is totally indescribable, and moreover, if $T$ is the higher order truth predicate for $V_{j(\kappa)}$ then $V_\kappa\prec _T V_{j(\kappa)}$. Then let $C$ be club. Then there exists some $\alpha<j(\kappa)$ such that $V_\alpha\vDash \text{$C$ is club}$ and $V_\alpha\prec _T V_{j(\kappa)}$, and so $\alpha\in C$ and $\alpha$ is totally indescribable. To see that it is closed under $M(X)$, observe $M(C\cap U)=M(C)\cap M(U)$, and by a similar argument such $M(U)=C\cap U$, where $C$ is the class of stationary limits of $U$, and it is clear $M(C)$ is club.■
Beyond the strongly unfoldable are the strongly unfoldable of degree $\alpha$ cardinals. $\kappa$ is strongly unfoldable of degree $\alpha$ if and only if for every $S\in H_{\kappa^+}$ and cardinal $\lambda$ there is a $\kappa$-model $S\in M$ non-trivial elementary embedding $j: M\rightarrow N$ with $N$ transitive and critical point $\kappa$ such that $j(\kappa)>\max\{\alpha,\lambda\}$, such that $V_\alpha\subset N$ and $N\vDash\text{ ($\kappa$ is strongly unfoldable of degree }\beta)$ for every $\beta<\alpha$. A cardinal is totally unfoldable if and only if it is strongly unfoldable of degree $\alpha$ for every ordinal $\alpha$.
Theorem: The unfoldable with degree $\alpha+1$ cardinals are stationarily transcendental over the unfoldable with degree $\alpha$ cardinals. The superstrongly unfoldable cardinals are stationarily transcendent over the totally unfoldable cardinals.
Proof. Every cardinal $\kappa$ that is unfoldable with degree $\alpha+1$ is clearly unfoldable with degree $\alpha$. Consider the filter generated by sets of the from $C\cap U$, where $U=\{\lambda<\kappa\mid\text{$\lambda$ is totally indescribable}\}$, and $C$ is club in $\kappa$. It is clearly a normal filter, assuming $U$ is stationary, and similarly if $U$ is stationary closed under diagonal intersection. Now suppose we have a non-trivial elementary embedding $j: M\rightarrow N$, then $(V_\kappa,\in,S\cap V_\kappa)\prec(V_{j(\kappa)},\in,S)$ and so it remains to show $U$ is stationary in $j(\kappa)$. Then $j(\kappa)$ is unfoldable with degree $\alpha$. Let $D=\{X\subseteq \kappa\mid\kappa\in j(X)\}$. Then if $S\in D$, $S$ is stationary, and $N\vDash (\text{$j(\kappa)$ is unfoldable with degree }\alpha)$ and so $U\in D$. To see that it is closed under $M(X)$, observe $M(C\cap U)=M(C)\cap M(U)$, and by a similar argument such $M(U)=C\cap U$, where $C$ is the class of stationary limits of $U$, and it is clear $M(C)$ is club. For the rest, see $^3$.■
The supercompact cardinals are more complex than simply being smaller then extendibles.
Theorem: If $\eta$ is not an infinite limit ordinal with $\operatorname{cf}\eta<\kappa$, and $\kappa$ is $(\eta+1)$-extendible then $\kappa$ is $\beth_{\kappa+\eta}$-supercompact. If $\kappa$ is $(\eta+2)$-extendible then $\kappa$ is $\beth_{\kappa+\eta}$-supercompact. If $\eta<\kappa$ and $\kappa$ is $\kappa$ is $\beth_{\kappa+\eta}$-supercompact, then $\kappa$ is measurably transcendent over the $\eta$-extendible cardinals. Moreover, the $1$-extendible supercompacts are measurably transcendent over the supercompact cardinals.
Proof. For the first part, see $^4$. For the second part, suppose $\eta$ is a limit ordinal with $\operatorname{cf}\eta<\kappa$. Then $\xi=\eta+1$ is not a limit ordinal and so if $\kappa$ is $\xi$-extendible it is $\beth_{\kappa+\xi}$-supercompact. For the third part, let $j: V\rightarrow M$ witness the $|\beth_{\kappa+\eta}|$-supercompactness of $\kappa$, and let $j`=j\restriction V_{\kappa+\eta}$. Then $j': V_{\kappa+\eta}\rightarrow V_{j(\kappa+\eta)}$ is a non trivial elementary embedding witness the $\eta$-extendibility of $\kappa$. The rest follows simply. For the fourth part, let $j: V_{\kappa+1}\rightarrow V_{j(\kappa)+1}$ witness the $1$-extendibility of $\kappa$ and $D=\{X\subseteq \kappa|\kappa\in j(X)\}$. Then $V_{j(\kappa)}\vDash (\kappa\text{ is $\lambda$-supercompact for $\lambda>\kappa$ and }\lambda<j(\kappa))$. But $\kappa$ is supercompact . Therefore $U\in D$, where $U=\{\lambda<\kappa\mid\text{$\lambda$ is supercompact}\}$. Then repeat a similar argument to the above.■
Most variants of huge cardinals are between the strongly unfoldable and superstrongly unfoldable cardinals. The almost huge cardinals are measurably transcendent over the Vopěnka cardinals. The $(n+1)$-huge cardinals are measurably transcendent over the almost $(n+1)$-huge cardinals, themselves measurably transcendent over the $n$-huge cardinals.
Finally, you missed the entire highest echelon of large cardinals. The superhuge cardinals are measurably transcendent over the extendible cardinals, and the super $(n+1)$-huge cardinals are measurably transcendent over the almost super $(n+1)$-huge cardinals, themselves measurably transcendent over the super $n$-huge cardinals. Beyond the $\omega$-superhuge cardinals are the stationarily superhuge cardinals, which obey a similar hierarchy. There are also the strong, superstrong, and Woodin cardinals.
Theorem: The $2$-strong cardinals are measurably transcendent over the measurable cardinals; moreover the $2^\kappa$-supercompact cardinals are measurably transcendent over the superstrong cardinals; moreover the $1$-extendible cardinals are measurably treanscendent over the superstrong cardinals. The Woodin cardinals are measurably transcendent over the superstrong cardinals.
Proof. For all, a simple alteration to the proof in $^5$ will suffice.■
Part 3: They suffice, to an extent. Certainly they posses all the properties on your list, and some more. However, they are not larger than the superhuge cardinals, at least to my knowledge. The reason for this is that super Reinhardt cardinals are not trivial extensions of Reinhardt cardinals. However, every super Reinhardt cardinal is $\omega$-superhuge, and we can define stationarily Reinhardt cardinals that are stationarily $\omega$-superhuge.
References: $^1$ Upward reflection of rank-into-rank cardinals (Answer), Joel David Hamkins.
$^2$ https://kamerynblog.wordpress.com/2017/01/13/just-how-big-is-the-smallest-inaccessible-cardinal-anyway/, Kameryn Williams
$^3$ https://arxiv.org/pdf/1403.2788.pdf, Joel David Hamkins, Thomas A. Johnstone
$^4$ Extendibility vs supercompactness (Answer), Gabe Goldberq
$^5$ The Higher Infinite, 26. Extenders, Akihiro Kanamori