Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage die technischen Schwierigkeiten im Beweis zu meistern, dass das Kernmodell K existiert (ohne die Annahme einer messbaren Kardinalzahl).
Wir arbeiten uns entlang der Publikation "K without a measurable" von Ronald Jensen und John Steel. Als Einstieg betrachten wir robust K^c Konstruktionen und stacks of mice.
Vorträge der Teilnehmenden.
Vortrag.
Nicht erforderlich
Grundkenntnisse in innerer Modelltheorie.