University of Toronto, Departmental Colloquium

Wednesday, March 7, from 16:10 to 17:00

BA6183, Bahen Center, 40 St. George St.

Speaker: Justin Moore (Cornell)

Title: Martin’s Maximum

Abstract: Since Cohen and Godel’s proof that ZFC is incapable of settling the Continuum Hypothesis, there has been an interest in finding additional axioms of set theory which would, at least in practice, settle the truth of mathematical statements left unresolved by ZFC. This has been amplified over the years by a large number of problem arising naturally outside of set theory – in areas such as algebra, analysis, and topology – which turned out to be unresolved by ZFC. I will give an exposition of one axiom which has been extremely successful in settling those mathematical problems left open by ZFC, often in a very satisfying way.