Forcing Magidor iteration over a core model below \(0^P\) (Q2449856)

One of the problems which has been extensively studied in the literature is the problem of the number of normal measures a large cardinal can carry. An important open problem is if a strongly compact cardinal can carry more than one normal measure. The author studies the number of normal measures in the extension obtained by Magidor iteration of Prikry forcing and proves the following: { Theorem.} Assume that \(0^{\P}\) does not exists and \(V\) is a core model. Let \(\mathbb{P}_\kappa\) be the Magidor iteration of Prikry forcing of length \(\kappa,\) such that \(\kappa\) is the least measurable cardinal in \(V^{\mathbb{P}_\kappa}\). Then to every normal measure \(U\) on \(\kappa\) in \(V\), a normal measure \(U^{\times}\) on \(\kappa\) in \(V^{\mathbb{P}_\kappa}\) associates such that (1) if \( U \neq W,\) then \(U^{\times} \neq W^{\times}\), (2) any normal measure on \(\kappa\) in \(V^{\mathbb{P}_\kappa}\) is of the form \(U^{\times}\) for some normal measure \(U\) on \(\kappa\) in \(V\). As a corollary to the above result, the author concludes that if \(o(\kappa)=\lambda\), then there are exactly \(\lambda\) many normal measure on \(\kappa\) in \(V^{\mathbb{P}_\kappa}\). It is worth noticing that the problem of finding the number of normal measures on the least measurable cardinal \(\kappa\) has been settled by the work of \textit{S.-D. Friedman} and \textit{M. Magidor} [J. Symb. Log. 74, No. 3, 1069--1080 (2009; Zbl 1183.03042)], who showed how to achieve models with an arbitrary number of normal measures \(\lambda \leq \kappa^{++}\) (with \(\kappa^{++}=2^{2^\kappa}\)) just from one measurable cardinal.