Magidor-Radin 力迫的中间模型——第二部分
逻辑
2022-03-03 v2
摘要
我们延续作者此前以及第二作者、Kanovei 和 Koepke 之前的工作。我们证明：对于使用满足 o^{\vec{U}}(\kappa)<\kappa^+ 的协调序列的 Magidor-Radin 泛型扩张中每一个序数集 A，存在 C'\subseteq C_G，使得 V[A]=V[C']。我们还证明：在 Prikry、树 Prikry、Magidor、Radin-Magidor 以及 Radin 力迫中，一个新集的上确界将其共尾性改变为 \omega。
引用
@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}
}