不带顶级扩张器的基于Extender的Magidor-Radin迫降
摘要：在无论是否有扩张器存在于最高序数上，我们开发了一个基于Extender的Magidor-Radin forcing的版本。作为一个应用，我们提供了另一种方法来在不可达基数的俱乐部子集上实现SCH的失败，并且提供了一个模型，在其固定类的并集是俱乐部的情况下，基数算术行为不同。这些forcing不会影响俱乐部之外的基数和完全性。
作者：Moti Gitik and Sittinon Jirattikansakul
论文ID：2306.12831
分类：Logic
分类简称：math.LO
提交时间：2023-06-23