12 citations · 66 across the 17 of their papers we have counts for
4 papers · 1 filter
Generic Large Cardinals and Systems of Filters
Giorgio Audrito, Silvia Steila
We introduce the notion of -system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develo…
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…
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…
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…