Asaf Karagila (University of Leeds)

What, why, and how are Forcing Axioms?

Forcing axioms are set-theoretic axioms which postulate the existence of "somewhat generic objects" in the universe. The goal of this talk is to give a fairly accessible explanation of this sentence, to understand some of the consequences of forcing axioms, and in what sense some forcing axioms are stronger than others