After successful completion of the course, students 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.

This is an introductory learning seminar for inner model theory. We will go through Steel's Lectures "An Introduction to Iterated Ultrapowers" and introduce measures, embeddings, iterated ultrapowers, comparison, extenders, linear iterations via extenders, iteration trees of length omega, and iteration trees of transfinite length. Afterwards, we consider applications, including Woodin's extender algebra and projective determinacy.

This weekly seminar is based on talks given by the students, guests and other members of the research field.

For a postitive completion of this course, students are required to prepare and give talks, as well as actively participate in other talks.

Basic knowledge in set theory.