M_1 and its strategy extensions
Basic data for this talk
Type of talk: scientific talk
Name der Vortragenden: Schlutzenberg Farmer
Date of talk: 26/09/2019
Talk language: English
Information about the event
Name of the event: 15th International Luminy Workshop in Set Theory
Event period: 23/09/2019 - 27/09/2019
Event location: Luminy, Frankreich
Event website: https://conferences.cirm-math.fr/2052.html
Organised by: CIRM, Luminy
Abstract
Recall that M_1 is the minimal proper class mouse with a Woodin cardinal δ. We will consider models of the form M_1[Σ], where Σ is a fragment of the iteration strategy for M_1. In particular, we will discuss how much strategy Σ can be added without destroying the Woodinness of δ. We will also discuss the κ-mantle of M_1, for certain values of κ.Keywords: Set theory; inner model theory; strategy mouse; set theoretic geology
Speakers from the University of Münster
| Schlutzenberg, Farmer | Junior professorship for mathematical logic (Prof. Schlutzenberg) |