Partial square at ω₁ is implied by MM but not by PFA
We prove the results stated in the title.
We prove the results stated in the title.
We say that an ideal I on is semiproper if the corresponding poset is semiproper. In this paper we investigate properties of semiproper ideals on .
Page 1