The structure of the Mitchell order. I (Q312329)

In [J. Symb. Log. 39, 57--66 (1974; Zbl 0295.02040)], \textit{W. J. Mitchell} introduced the nowadays called \textit{Mitchell order} (denoted by \(\triangleleft\)) on the set of normal measures defined on a given measurable cardinal \(\kappa\); given two normal measures \(U\), \(V\) on \(\kappa\), we write \(U \triangleleft V\) is \(U\) is in the ultrapower model defined by \(V\). It was shown in Mitchell [loc. cit.] that \(\triangleleft\) is a well-founded order. Given a measurable cardinal \(\kappa\), we write \(o(\kappa)\) to denote the rank of the well-founded order \(\triangleleft(\kappa)\). In the paper under review, the author isolates a wide class of orders (which he calls \textit{tame orders}) and he shows that each such order of cardinality at most \(\kappa\) can be realized (through a cofinality preserving generic extension and from a consistency assumption weaker than \(o(\kappa) = \kappa^+\)) as the Mitchell order on a measurable cardinal \(\kappa\).