2007 seminar talk: A family of covering properties for forcing axioms and strongly compact cardinals
Talk held by Matteo Viale (KGRC) at the KGRC seminar on 2007-03-22.
Abstract
I introduce a simple device to investigate the combinatorics of singular cardinals above a strongly compact or assuming strong forcing axioms. In particular I obtain an elementary proof of SCH from PFA and several constraints on the possible scenarios to change cofinalities while preserving forcing axioms or strongly compact cardinals.