加载中…
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 .

生成讲解博客的中文版本

生成AI智能校验的中文版本