Combinatorial constructions in higher extender models are important for at least two reasons. First, they give us detailed information both on combinatorial principles and canonical models for large cardinals. Second, they give rise to new inner model theoretic techniques and enable us to see inner models from new aspects that are interesting in their own right. I will summarize known combinatorial constructions, show differences between them and try to explain what would be the next direction of research in this area.
Combinatorial construction in extender models: What has been done
21.06.2007 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25