Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, grundlegende Literatur in der inneren Modelltheorie zu verstehen. Sie können lineare Iterationen von Ultrapotenzen und Extenders sowie die Grundlagen von Iterationsbäumen und deren Anwendung verstehen. Dieses Seminar ist die ideale Vorbereitung für eine Fortsetzung des Seminars, welche im Sommersemester stattfinden wird.

Dies ist ein einführendes Lernseminar zur inneren Modelltheorie. Wir werden Steels Vorlesungsnotizen „An Introduction to Iterated Ultrapowers“ erarbeiten und dabei Maße, Einbettungen, iterierte Ultrapotenzen, Vergleichsiterationen, Extender, lineare Iterationen von Extendern, Iterationsbäume der Länge omega und transfinite Iterationsbäume einführen. Im Anschluss betrachten wir Anwendungen wie Woodins Extenderalgebra und projektive Determiniertheit.

Das innere Modelltheorie Seminar ist ein wöchentliches Seminar mit abwechselnden Vortragenden. Die inkludiert Studierende, Gäste sowie Mitglieder des Forschungsbereichs.

Um die Lehrveranstaltung erfolgreich abzuschließen, ist es verpflichtend einen Vortrag zu halten und an den anderen Vorträgen aktiv teilzunehmen. Der oder die Vortragende ist für die Vortragsvorbereitung verantwortlich. Dies bedeutet auch Highlights für den Vortrag aus dem Material auszuwählen. Die Leiterin der Lehrveranstaltung wird sie hierbei unterstützen, sowohl bei wissenschaftlichen als auch bei didaktischen Fragen.

Grundkenntnisse der Mengenlehre.