An introduction to forcing axioms, SRP and OCA

Giorgio Audrito, Gemma Carotenuto

These notes are extracted from the lectures on forcing axioms and applications held by professor Matteo Viale at the University of Turin in the academic year 2011-2012. Our purpose…