12 citations · 66 across the 17 of their papers we have counts for
Showing 2014 · math.LOShow all
3 papers · 2 filters
math.LO2014
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…
math.LO2014
Absoluteness via Resurrection
Giorgio Audrito, Matteo Viale
The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velicković. We introduce a stronger form of resurrection…
math.LO2014★ 9 cited
A Boolean Algebraic Approach to Semiproper Iterations
Matteo Viale, Giorgio Audrito, Silvia Steila
These notes present a compact and self-contained approach to iterated forcing with a particular emphasis on semiproper forcing. We tried to make our presentation accessible to any…