The structure of the Mitchell order. II. (Q499083)

In [J. Symb. Log. 39, 57--66 (1974; Zbl 0295.02040)], \textit{W. J. Mitchell} introduced the nowadays so-called 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\) if \(U\) is in the ultrapower model defined by \(V\). It was shown in [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)\). The paper under review is a continuation of [the author, I. Isr. J. Math. 214, No. 2, 945--982 (2016; Zbl 1368.03047)] and also addresses the problem of realizing well-founded orders as the Mitchell order on a measurable cardinal \(\kappa\). It is shown that: if \(\kappa\) is a cardinal in a core model \(V = L[E]\), \((S,<_S)\) is a well-founded order of cardinality \(\leqslant \kappa\) and under certain large cardinal assumptions (more specifically: assuming that (i) there are, at least, \(|S|\) measurable cardinals above \(\kappa\) and (ii) there is a suitable \(\triangleleft\)-increasing sequence of extenders of length \(\operatorname{rank}(S,<_S)\)) then there is a forcing over \(V\) which provides a generic extension \(V^*\) of \(V\) such that \(\triangleleft(\kappa)^{V^*} \cong (S,<_S)\).