Mathematical logic seminar – April 14, 2015
Time: 12:30 – 13:30
Room: Wean Hall 8201
Speaker: Nam Trang
Department of Mathematical Sciences
Title: 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.