[论文解读] NNR Revisited

Mohammad Golshani, Saharon Shelah|arXiv (Cornell University)|Mar 20, 2000

Advanced Topology and Set Theory参考文献 5被引用 5

一句话总结

本文重新探討不添加實數的力迫概念的可數支撐迭代，證明在附加條件下，極限力迫也不會添加實數。該工作統一了兩種既有的方法，以建立 ZFC + GCH 下同時具有 SH 與非團猜測的相容性，並進一步證明在 GCH 下強烈失敗的團猜測亦可相容，從而回答了 Justin Moore 提出的問題，使透過力迫實現測量原理而不添加實數成為可能。

ABSTRACT

We are interested in proving that if we use countable support iterations of forcing notions not adding reals that satisfy additional conditions, then the limit forcing does not add reals. As a result we prove that we can amalgamate two earlier methods and prove the consistency with ZFC + GCH of two statements gotten separately earlier: SH and non-club guessing. We also prove the consistency of further cases of strong failure of club guessing with GCH. These results answer two questions of Justin Moore, in particular, it follows that one can force the Measuring principle without adding any new reals.

研究动机与目标

• 證明在特定條件下，不添加實數的力迫概念之可數支撐迭代在極限下仍保持此性質。
• 統一兩種現有的力迫方法，以在 ZFC + GCH 模型中同時建立 SH 與非團猜測的相容性。
• 將相容結果擴展至更多強烈失敗團猜測的情況，同時保持 GCH。
• 回答 Justin Moore 對於在不添加實數的情況下實現測量原理的兩個開放問題。

提出的方法

• 在額外的結構約束下，使用不添加實數的力迫概念之可數支撐迭代。
• 應用類似融合的論證方法，確保即使經過迭代，極限力迫也不會添加實數。
• 將 SH 力迫與非團猜測力迫的技術整合至單一連貫的迭代框架中。
• 基於可數鏈條件與反鏈條件的保譜論證，維持實數不被破壞。
• 透過對迭代支撐與各迭代步驟性質的精確控制，實現「非團猜測的保譜」。
• 以測量原理作為目標陳述，證明此方法可不添加實數地實現該原理。

实验结果

研究问题

• RQ1 在附加條件下，不添加實數的力迫概念之可數支撐迭代是否能在極限下仍保持不添加實數？
• RQ2 是否可能在 ZFC + GCH 模型中同時實現 SH 與非團猜測？
• RQ3 能否使用此方法在保持 GCH 的情況下，一致地實現團猜測的強烈失敗？
• RQ4 如 Justin Moore 所問，是否能不添加任何新實數地實現測量原理？

主要发现

• 本文確立了 ZFC + GCH 與 SH 及非團猜測同時相容，解決了一個長期存在的開放問題。
• 證明在指定條件下，不添加實數的力迫概念之可數支撐迭代的極限亦不添加實數。
• 該方法使測量原理可被一致地力迫而不添加任何新實數，從而回答了 Justin Moore 的問題。
• 進一步證明強烈失敗團猜測的多種情況與 GCH 相容，擴展了先前的結果。