On October 28 and November 04, 2013, I gave talks in the Mengenlehre Oberseminar in Münster.
Title: Producing $M_n^\sharp$ from Projective Determinacy
On October 28 and November 04, 2013, I gave talks in the Mengenlehre Oberseminar in Münster.
Title: Producing $M_n^\sharp$ from Projective Determinacy