# Difference between revisions of "Mitchell rank"

Line 9: | Line 9: | ||

The concept of nontrivial Mitchell rank is a continuation of the progression of ideas leading from the [[inaccessible#hyperinaccessible cardinals | $1$-inaccessible]] and [[inaccessible#hyperinaccessible cardinals | $\alpha$-inaccessible]] cardinals to the [[inaccessible#hyperinaccessible cardinals | hyper-inaccessible]] cardinals and up through the [[Mahlo]] and [[Mahlo#hyper-Mahlo | hyper-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. | The concept of nontrivial Mitchell rank is a continuation of the progression of ideas leading from the [[inaccessible#hyperinaccessible cardinals | $1$-inaccessible]] and [[inaccessible#hyperinaccessible cardinals | $\alpha$-inaccessible]] cardinals to the [[inaccessible#hyperinaccessible cardinals | hyper-inaccessible]] cardinals and up through the [[Mahlo]] and [[Mahlo#hyper-Mahlo | hyper-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. | ||

− | The hiearchy of Mitchell rank is ramified by the $o(\kappa)$ ranking function | + | The hiearchy of Mitchell rank is ramified by the $o(\kappa)$ ranking function, defined by recursion so that $o(\kappa)$ is the supremum of $o(\kappa)^M+1$, ranging over all embeddings $j:V\to M$ for which $\kappa$ is measurable in $M$. (The induction is well-defined, since if $o(\gamma)$ is defined for $\gamma\lt\kappa$, then it is defined at $\kappa$ in $M$.) |

− | + | == $o(\kappa)=1$ == | |

+ | |||

+ | 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^{++}$. | ||

== The Mitchell order == | == The Mitchell order == | ||

Line 25: | Line 31: | ||

It follows that for any measurable cardinal $\kappa$, the Mitchell order $\lhd$ on measures on $\kappa$ is well founded. And $o(\kappa)+1$ is precisely the rank of the Mitchell order as a well-founded partial order. (Note, some authors may use $o(\kappa)$ to be the rank of this order, and in this case, one has $o(\kappa)=0$ for non-measurable cardinals, $o(\kappa)=1$ for measurable cardinals that have no normal measure concentrating on measurable cardinals, and so on, shifting by one.) | It follows that for any measurable cardinal $\kappa$, the Mitchell order $\lhd$ on measures on $\kappa$ is well founded. And $o(\kappa)+1$ is precisely the rank of the Mitchell order as a well-founded partial order. (Note, some authors may use $o(\kappa)$ to be the rank of this order, and in this case, one has $o(\kappa)=0$ for non-measurable cardinals, $o(\kappa)=1$ for measurable cardinals that have no normal measure concentrating on measurable cardinals, and so on, shifting by one.) | ||

− | |||

− |

## Revision as of 13:19, 6 January 2012

The *Mitchell rank* of a measurable cardinal provides an indication of the degree to which the concept of measurability itself reflects below $\kappa$.

A measurable cardinal $\kappa$ has *trivial* Mitchell rank, written $o(\kappa)=0$, 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 1$, 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$.

The concept of nontrivial Mitchell rank is a continuation of the progression of ideas leading from the $1$-inaccessible and $\alpha$-inaccessible cardinals to the hyper-inaccessible cardinals and up through the Mahlo and hyper-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.

The hiearchy of Mitchell rank is ramified by the $o(\kappa)$ ranking function, defined by recursion so that $o(\kappa)$ is the supremum of $o(\kappa)^M+1$, ranging over all embeddings $j:V\to M$ for which $\kappa$ is measurable in $M$. (The induction is well-defined, since if $o(\gamma)$ is defined for $\gamma\lt\kappa$, then it is defined at $\kappa$ in $M$.)

## $o(\kappa)=1$

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^{++}$.

## The Mitchell order

The Mitchell rank is closely related to the Mitchell order on measures, defined by $\mu\lhd\nu$ if $\mu\in M_\nu$, where $j_\nu:V\to M_\nu$ is the ultrapower by $\nu$. When restricted to the measures on a 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. And $o(\kappa)+1$ is precisely the rank of the Mitchell order as a well-founded partial order. (Note, some authors may use $o(\kappa)$ to be the rank of this order, and in this case, one has $o(\kappa)=0$ for non-measurable cardinals, $o(\kappa)=1$ for measurable cardinals that have no normal measure concentrating on measurable cardinals, and so on, shifting by one.)