5
$\开始组$

在伍丁的书《确定性公理、强制公理和非平稳理想》(The Axiom of Determinacy,Forcing Axioms,and The Non-stationary Ideas)备注2.55(5)中,它指出托多切维奇(Todorcevic)的SRP(定义见下文)与苏斯林树的存在一致(因此它并不意味着MM)。有关于这方面的参考吗?我猜我们可能会为一棵苏斯林树(Suslin tree)获得一个限制版本的MM,比如PFA。更确切地说,$PFA(S)$是保留$S$的强制类的强制公理。那么也许我们可以从$MM(S)$导出SRP。

定义(射影平稳集):设$\lambda\geq\omega_1$,则$S\subset[H(\lambda)]^\omega$是射影平稳的,如果对于任何平稳的$T\subset \omega_2$,S:X\cap\omega_1\T\}$中的$\{X\在$[\lambda]^\omega$中是平稳的。

定义(SRP):SRP断言,对于任何投影平稳的$S\子集[H(\lambda)]^\omega$,对于规则的$\lambda\geq\omega_2$,$-chain$\langle N_\alpha:\alpha<\omega_1\range$中都存在一个连续增加的$\,使得所有$\alpha<\omega _1$中的$N_\alpha\都在S$中。

$\端组$

1答案1

重置为默认值
$\开始组$

宫本茂的以下论文似乎证明了这一点:

宫本忠太郎关于迭代半真预序,J.Symb。日志。67,第4期,1431-1468页(2002年)。ZBL1050.03034号.

在本文的第5节中,他引入了一个强迫公理,SPFA(Souslin),这是半真偏序集的强迫公理每一个索斯林树。他证明了SPFA(Souslin)与Souslin-树的存在兼容,并且SPFA意味着SRP。

$\端组$

你的答案

点击“发布您的答案”,即表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览标记的其他问题问你自己的问题.