论文标题
不一致的强迫公理在$ω_2$
An Inconsistent Forcing Axiom at $ω_2$
论文作者
论文摘要
我们表明，可计数紧凑的强迫公理，$ω_2$ -KNASTER，良好的posets不一致。这是Shelah的不一致结果的补充，并将Martin Axiom概括为$ω_2$的阶段设定了新的限制。
We show that the forcing axiom for countably compact, $ω_2$-Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage of $ω_2$.
