IPM Calendar 
Monday 26 October 2020   Today  
Events for day: Wednesday 21 October 2020    
           15:30 - 17:30     Mathtematical Logic Weekly Seminar
In Search of Higher Forcing Axioms


Classical forcing axioms such as Martin s Axiom, the Proper Forcing Axiom and Martin s Maximum have been very successful in settling not only foundational set theoretic questions such as the value of the continuum, but also solve some important mathematical problems not decidable in ZFC alone. Examples are Kaplansky's conjecture on automatic continuity in Banach algebras and Whitehead s problem in homological algebra. These axioms give a fairly complete picture of the first uncountable cardinal, $aleph_1$, but they do not say much about higher levels of the cumulative hierarchy. Higher forcing axioms is a research project which attempts to li ...