加载中…
We construct a model in which MA(S)[S] holds and fails. This shows that MA(S)[S] does not imply and answers an old question of Larson and Todorcevic in [3]. We also investigate different strong colorings in models of MA(S)[S].

生成讲解博客的中文版本

生成AI智能校验的中文版本