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.