Aronszajn树的保护和有界强制公理
摘要：研究了一个强制类Gamma的三个反射原则层次之间的关系：有界强制公理层次、Σ^1_1-绝对性层次和Aronszajn树保持原则层次。后一原则在水平kappa上表明，只要T是一个高度为ω_1且宽度为kappa且不具有ω_1类型序列的分支的树，只要P是一个Gamma中的强制概念，则不是的P强制T具有这样的分支。Σ^1_1-绝对性在这些原则和有界强制公理之间充当中介。主要结果的特例是，对于不添加实数的强制类，水平2^omega上的三个原则是等价的。特别关注了某些子完全强制类的子类，因为这些是不添加实数的自然强制类。
作者：Gunter Fuchs
论文ID：2001.03105
分类：Logic
分类简称：math.LO
提交时间：2023-06-22