|Monday 26 October 2020|
|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 ...