Semiproper forcing axiom implies Martin maximum but not PFA+
Semiproper forcing axiom implies Martin maximum but not PFA+
复制标题
半适当的强迫公理意味着 Martin 最大值，但不是 PFA
DOI：
--
复制
发表时间：
1987
期刊：
影响因子：
--
通讯作者：
S. Shelah
中科院分区：
文献类型：
--
作者：
S. Shelah
摘要我们证明了在ZFC中，MM(Martin极大值)等价于较早的公理SPFA(半真强迫公理)。我们还证明了SPFA并不蕴含SPFA+，甚至不蕴含PFA+(使用大基数的一致性)。
Abstract We prove that MM (Martin maximum) is equivalent (in ZFC) to the older axiom SPFA (semiproper forcing axiom). We also prove that SPFA does not imply SPFA+ or even PFA+ (using the consistency of a large cardinal).