IPM Calendar 
Sunday 7 June 2020   Today  
Events for day: Wednesday 23 October 2019    
           14:00 - 15:00     Weekly Seminar
Combinatorics and Computing
Positivstellensatz and quantum information theory

School
MATHEMATICS

Positivstellensatz and quantum information theory ...

           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. ...