IPM Calendar 
Thursday 17 October 2019   Today  
Events for day: Wednesday 23 October 2019    
           15:30 - 17:30     Mathtematical Logic Weekly Seminar
${sf MM}^{++}$ implies ($star$)

School
MATHEMATICS

We show that Martin's Maximum${}^{++}$ implies Woodin's ${mathbb P}_{ m max}$ axiom ($star$). This is joint work with David Aspero. ...