Partial square at $\omega _1$ is implied by MM but not by PFA
Tom 215 / 2011
Fundamenta Mathematicae 215 (2011), 109-131
MSC: Primary 03E05; Secondary 03E50.
DOI: 10.4064/fm215-2-2
Streszczenie
We prove the results stated in the title.