分离颠覆强制原则
摘要：关于一类Jensen的次完全 forcing 公理，即 $mathsf{SCFA}$ 和次正规 forcing 公理，即 $mathsf{SubPFA}$ 的变种，我们进行了研究。利用这些公理，我们发展了一种一般性的技术，用于证明 $mathsf{SCFA}$、$mathsf{SubPFA}$ 及其相关性质之间的非蕴含关系，并给出了几个应用实例。例如，我们证明了 $mathsf{SCFA}$ 不蕴含 $mathsf{MA}^+(sigma$-closed$)$，$mathsf{SubPFA}$ 不蕴含Martin's Maximum。
作者：Hiroshi Sakai, Corey Bacal Switzer
论文ID：2308.16276
分类：Logic
分类简称：math.LO
提交时间：2023-09-01