Speaker: 

Maxwell Levine

Institution: 

University of Illonois at Chicago

Time: 

Monday, September 26, 2016 - 4:00pm to 5:30pm

Host: 

Location: 

RH 440R

Abstract: The combinatorial properties of large cardinals tend to clash with those satisfied by G\"odel's constructible universe, especially the square property (denoted $\square_\kappa$) isolated by Jensen in the seventies. Strong cardinal axioms refute the existence of square, but it is possible with some fine-tuning to produce models that exhibit some large cardinal properties together with weakenings of square. In this talk we will exhibit some results along these lines and will outline the techniques used to produce them.