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.