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.


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.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.