October 2
David Aspero,
University of East Anglia
Martin’s Maximum^++ implies the P_max axiom (*) (Part 2)
This will be a sequel to Ralf Schindler’s talk on 9/25. My plan is to give a reasonably detailed account of the proof of the result in the title.