University of East Anglia), `SuSiFA, a new kind of forcing axiom'

We present a forcing axiom which can be used to get consistency results at the successor of a singular cardinal and explain why getting such an axiom is very different than getting forcing axioms at aleph_1. In particular, the consistency necessarily involves large cardinals, as the singular cardinal hypothesis is violated.