English

Intermediate Models of Magidor-Radin Forcing- Part II

Logic 2022-03-03 v2

Abstract

We continue the work done by the authors and before that by the second author, Kanovei and koepke. We prove that for every set of ordinals AA in a Magidor-Radin generic extension using a coherent sequence such that oU(κ)<κ+o^{\vec{U}}(\kappa)<\kappa^+, there is CCGC'\subseteq C_G, such that V[A]=V[C]V[A]=V[C']. Also we prove that the supremum of a fresh set in a Prikry, tree Prikry, Magidor, Radin-Magidor and Radin forcing, changes cofinality to ω\omega.

Keywords

Cite

@article{arxiv.2105.11700,
  title  = {Intermediate Models of Magidor-Radin Forcing- Part II},
  author = {Tom Benhamou and Moti Gitik},
  journal= {arXiv preprint arXiv:2105.11700},
  year   = {2022}
}