2007 seminar talk: Combinatorial construction in extender models: What has been done
Talk held by Martin Zeman (UC Irvine) at the KGRC seminar on 2007-06-21.
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.