The *Mitchell rank* of a [measurable](Measurable.md "Measurable") cardinal provides an indication of the degree to which the concept of measurability itself reflects below $\kappa$. It is convenient to define it in terms of the Mitchell order on measures. >[!info] Definition - Mitchell order >For $\mu,\nu$ [[Filter|measures]], $\mu\lhd\nu$ if $\mu\in \mathrm{Ult}(V,\nu)$ (the [[ultrapower]] by $\nu$). When restricted to the measures on a specific measurable cardinal, this is an order relation (in the general case of measures on an arbitrary set or extenders, it may not be transitive). It is not difficult to observe that if $\mu\lhd\nu$ and both are measures on a measurable cardinal $\kappa$, then $j_\mu(\kappa)<j_\nu(\kappa)$. The reason is that because $M_\nu^\kappa\subset M_\nu$, it has all the necessary functions to compute the value of $j_\mu(\kappa)$ correctly, and it sees that this value must be less than $j_\nu(\kappa)$, which is a measurable cardinal in $M_\nu$. It follows that for any measurable cardinal $\kappa$, the Mitchell order $\lhd$ on measures on $\kappa$ is well founded. >[!info] Definition - Mitchell rank >Let $\kappa$ be a cardinal. >For an ultrafilter $U$ of $\kappa$, $o(U)$ is the rank of $U$ in $\lhd$ among ultrafilters on $\kappa$. >$o(\kappa)$ is the height of $\lhd$. Thus, $o(\kappa)=0$ iff $\kappa$ is not measurable. A measurable cardinal $\kappa$ has $o(\kappa)=1$, when $\kappa$ is measurable, but has no normal measure concentrating on the measurable cardinals below $\kappa$. In contrast, $\kappa$ has *nontrivial* Mitchell rank, written $o(\kappa)\geq 2$, when there is a normal measure on $\kappa$ concentrating on the measurable cardinals below $\kappa$. This is equivalent to the existence of an elementary embedding $j:V\to M$ with critical point $\kappa$ such that $\kappa$ is measurable in $M$. >[!warning] >Some authors define the Mitchell rank of $\kappa$ only on measurable cardinals, so that $o(\kappa)=0$ for a measurable with no normal measure concentrating on measurables, thus shifting the rank by $1$. This doesn't affect limit ranks. See [[Mitchell rank - old]]. The concept of nontrivial Mitchell rank is a continuation of the progression of ideas leading from the [$1$-inaccessible](Inaccessible.md#hyperinaccessible_cardinals "Inaccessible") and [$\alpha$-inaccessible](Inaccessible.md#hyperinaccessible_cardinals "Inaccessible") cardinals to the [hyper-inaccessible](Inaccessible.md#hyperinaccessible_cardinals "Inaccessible") cardinals and up through the [Mahlo](Mahlo.md "Mahlo") and [hyper-Mahlo](Mahlo.md#hyper-Mahlo "Mahlo") cardinals. In this progression, the limit concepts are strengthened from a simple limit to limit-of-limits to fixed-point-limit to stationary-limit and now normal-measure-one-limit. Analogous properties include degree for <a href="Strongly_unfoldable" class="mw-redirect" title="Strongly unfoldable">strong unfoldability</a> {% cite Hamkins2010 Hamkins2014a %}, M-ranks for [Ramsey](Ramsey.md "Ramsey") and Ramsey-like cardinals (A difference is that M-rank for Ramsey-like cardinals can be at most $\kappa^+$ and Mitchell rank for measurable cardinals can be at most $(2^\kappa)^+$.){% cite Carmody2016 %} and Mitchell rank for [supercompact](Supercompact.md "Supercompact") cardinals{% cite Carmody2015 %} ## $o(\kappa)=2$ Note that $o(\kappa)=1$, if $\kappa$ has a normal measure concentrating on the measurable cardinals below $\kappa$, but there is no normal measure concentrating on the measurable cardinals below $\kappa$ that have such a measure themselves. ## $o(\kappa)=\kappa^{++}$ Gitik has done some important work using the hypothesis $o(\kappa)=\kappa^{++}$. He showed that the existence of a measurable cardinal such that $o(\kappa)=\kappa^{++}$ is equiconsistent to the failure of the Singular Cardinal Hypothesis (i.e. the existence of a strong limit singular cardinal such that $2^\kappa > \kappa^{++}$), and is also equiconsistent with the failure of the Generalized Continuum Hypothesis at a measurable cardinal (i.e. $2^\kappa > \kappa^{++}$ at a measurable $\kappa$).