Intermediate models of Magidor-Radin forcing. II (Q2131281)

In this paper the authors study intermediate submodels of Magidor-Radin forcing \(\mathbb{M}[\vec{U}]\), where \(\vec{U}\) is coherent sequences of measures with \(o^{\vec{U}}(\kappa) < \kappa^+.\) This continues earlier papers by the same authors, in which they in particular investigated the same forcing with \(o^{\vec{U}}(\kappa) < \kappa.\) One of the early papers, investigating submodels of Prikry type forcing notions is the work of \textit{C. Sureson} [Ann. Pure Appl. Logic 51, No. 3, 247--278 (1991; Zbl 0813.03033)]. In this paper, the author investigate the family \(\{V[C \upharpoonright E]: E \subseteq \omega \}\) of models, where \(C\) is a Prikry generic sequence. Much time later, Gitik, Kanovei and Koepke investigated the intermediate submodels of the Prikry forcing in more details and completely characterized them. Such investigations for other Prikry type forcings were continued by several authors, in particular the authors of the current paper, and also by Chris Lambie-Hanson in his PhD thesis, titled ``Covering matrices, squares, scales, and stationary reflection''. The paper under review gives more advance on the subject, in particular it covers the case which was not considered before. Fix \(\vec{U}\) as above, let \(\mathbb{M}[\vec{U}]\) be the corresponding Magidor-Radin forcing and let \(C\) be the Magidor-Radin club added by it. The authors show that if \(A\) is a set of ordinals, then for some \(C' \subseteq C\) we have \(V[A]=V[C'],\) in particular any intermediate submodel of \(V[C]\) is of the form \(V[C']\), for some \(C' \subseteq C\) The proof of this result is more complicated than the case where \(o^{\vec{U}}(\kappa) < \kappa,\) as instead of an ordinary induction on ordinals, they will need to carry a tree construction. However the authors do not give a classification of what are exactly the subforcings which generate the model \(V[C']\). They also show that if \(A\) is a fresh set of ordinals (i.e., \(A\) is not in the ground model, but all of its initial segments are) added by one of the known forcing notions Prikry, tree Prikry, Magidor, Magidor-Radin or Radin forcing, then \(sup(A)\) has cofinality \(\omega\) in the extension. This rather long and interesting paper contains many other results, and it leaves many questions open, for example, what can we say when \(o^{\vec{U}}(\kappa) > \kappa^+.\)