MA${}_{{\omega }_1}(S)[S]$ does not imply ${\mathcal{K}}_2$

Yinhe Peng, Liuzhen Wu

We construct a model in which MA${}_{{\omega }_1}$(S)[S] holds and ${\mathcal{K}}_2$ fails. This shows that MA${}_{{\omega }_1}$(S)[S] does not imply ${\mathcal{K}}_2$ and answers an old question of Larso…