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 in a Magidor-Radin generic extension using a coherent sequence such that , there is , such that . Also we prove that the supremum of a fresh set in a Prikry, tree Prikry, Magidor, Radin-Magidor and Radin forcing, changes cofinality to .
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}
}