Inner Model Theory Seminar
(SoSe 2023)

This is an introductory learning seminar for inner model theory. We will go through Farah's paper „The Extender Algebra and Sigma^2_1-absoluteness“. After recalling some notions from last semester such as extenders, Woodin cardinals and iterations trees (which allows people not attending the previous seminar to follow), we introduce Woodin's extender algebra and prove its basic properties. Then we consider applications to generic absoluteness and the existence of divergent models of AD+.

The seminar takes place Wednesdays 12:30 - 14:00 in the Dissertantenraum (TU Wien Freihaus, green area, 8th floor).

After successful completion of the course, students and other participants are able to follow basic inner model theoretic literature. They will master linear iterations of ultrapowers and extenders as well as the basics of iteration trees and applications. This seminar is an ideal preparation for a follow-up seminar taking place in the summer semester.

The inner model theory seminar will be a weekly seminar with alternating speakers, including students, guests, and members of the research unit. Giving a talk and active participation are mandatory to successfully complete the course. The speaker is responsible for preparing the talk and selecting highlights from the material. The lecturer will offer help in the preparation of the talk, both for scientific questions and didactic issues.