论文标题
ma $ _ {ω_1}(s)[s] $不暗示$ \ mathcal {k} _2 $
MA$_{ω_1}(S)[S]$ does not imply $\mathcal{K}_2$
论文作者
论文摘要
我们构建了一个模型,其中ma $ _ {ω_1} $(s)[s]保留和$ \ Mathcal {k} _2 $失败。这表明ma $ _ {ω_1} $(s)[s]并不意味着$ \ Mathcal {k} _2 $,并回答[3]中的Larson和Todorcevic的旧问题。我们还研究了ma $ _ {ω_1} $(s)[s]的模型中的不同强颜色。
We construct a model in which MA$_{ω_1}$(S)[S] holds and $\mathcal{K}_2$ fails. This shows that MA$_{ω_1}$(S)[S] does not imply $\mathcal{K}_2$ and answers an old question of Larson and Todorcevic in [3]. We also investigate different strong colorings in models of MA$_{ω_1}$(S)[S].