Saturday 20 April 2024 |
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. ... |