|Time:|| 12:30 - 13:30
Wean Hall 8201
Department of Mathematical Sciences
Covering and more covering
We present a couple of basic arguments of getting sharps for operators with nice properties from certain failures of covering. These arguments are featured in various constructions of canonical models of large cardinals from forcing axioms like PFA, the existence of strongly compact measures in ZF+DC etc.