Martin's maximum and the non-stationary ideal - Shimon Garti; Haim Horowitz; Menachem Magidor (2017)