On Dec 12st, 2014, I gave a talk in the CUNY Set Theory Seminar.
Title: Producing $M_n^\sharp$ from Boldface Level-wise Projective Determinacy
On Dec 12st, 2014, I gave a talk in the CUNY Set Theory Seminar.
Title: Producing $M_n^\sharp$ from Boldface Level-wise Projective Determinacy