论文标题
马丁公理，弱方形，弱的猜想和强迫公理失败的概括
Generalizations of Martin's Axiom, weak square, weak Chang's Conjecture, and a forcing axiom failure
论文作者
论文摘要
我们证明了强迫Axiom $ ma^{1.5} _ {\ aleph_2}（\ mbox {stratified}）$暗示$ \ box_ {ω_1，ω_1} $。使用这种含义，我们表明强迫Axiom $ mm _ {\ Aleph_2}（\ Aleph_2 \ Mbox {-c.c。}）$是不一致的。我们还从$ ma^{1.5} _ {\ aleph_2}（\ mbox {stratified}）$中得出了弱的猜想。
We prove that the forcing axiom $MA^{1.5}_{\aleph_2}(\mbox{stratified})$ implies $\Box_{ω_1, ω_1}$. Using this implication, we show that the forcing axiom $MM_{\aleph_2}(\aleph_2\mbox{-c.c.})$ is inconsistent. We also derive weak Chang's Conjecture from $MA^{1.5}_{\aleph_2}(\mbox{stratified})$ and use this second implication to give another proof of the inconsistency of $MM_{\aleph_2}(\aleph_2\mbox{-c.c.})$.
