7
$\begingroup$

For a measurable cardinal $\kappa$, we define an ordering over $\kappa$-complete ultrafilters as follows:

Suppose $W,U$ are both $\kappa$-complete free ultrafilters over $\kappa$, we say that $U\lhd W$ if and only if $U\in M_W$ (where $M_W$ is the Mostowski collapse of $Ult_W(V)$).

I am trying to give an alternative definition which will ease the proofs I have to write regarding this order (it is a well-founded, irreflexive and transitive ordering, for example). However I am getting somewhat confused about the minor details.

We know that $U\lhd W \iff U\in M_W\iff \exists g\in V^\kappa\colon\pi([g]_W)=U$ (where $\pi$ is the collapse of $V^\kappa/W$ to $M_W$, and $[g]_W$ is the equivalence class of $g$ in $V^\kappa/W$).

In Mitchell's original paper he defined the order for normal measures as follows:

$U\lhd W$ if and only if there is some $A\in W$ and a sequence $U_i,\ i\in A$ such that $x\in\kappa$ (I guess it supposed to be $x\subseteq\kappa$) then $x\in U$ if and only if $\{i\in A\mid x\cap i\in U_i\}\in W$.

This seems like a definition which relies to some extent on the normality of $W$, and I wonder if this is really the case and if so, whether or not my intuition is correct and there is a similar extension of the definition to all the measures on $\kappa$.

1 Answers 1

6

The $U_i$ sequence in Mitchell's definition is playing the role of your function $g$, and his formulation relies on normality in that it assumes that $U_i$ concentrates on $i$, which would be true when $W$ is normal.

Without any normality assumption on $W$, you can say $U$ is Mitchell below $W$ if and only if there is $A\in W$ and measures $U_i$ for $i\in A$, concentrating on $k(i)$, for which $[k]_W=\kappa$ and

$x\in U\quad\text{ if and only if }\quad\{\ i\in A\mid x\cap k(i)\in U_i\ \}\in W,$

which seems to be the style of statement that you desire.

The right hand side is equivalent to $x\in [\langle U_i\rangle_i]_W$ by Los, since $x=j(x)\cap \kappa$.

  • 0
    It took some time to chew and swallow, but I think I got it! Many thanks!2011-07-26