Varsovian models with infinitely many Woodin cardinals
Basic data for this talk
Type of talk: scientific talk
Name der Vortragenden: Schlutzenberg Farmer
Date of talk: 16/07/2019
Talk language: English
Information about the event
Name of the event: Berkeley conference on inner model theory
Event period: 08/07/2019 - 19/07/2019
Event location: Berkeley, California, USA
Abstract
Suppose there is an OR-iterable least active mouse M^♯ which satisfies "there is a cardinal lambda which is a limit of strong cardinals and Woodin cardinals." Let M be given by iterating its top measure out of the universe. We will discuss the Varsovian model V^M of M. We get that V^M is an OR-iterable proper class strategy mouse with infinitely many Woodins, and the universe of V^M equals the mantle of M and equals HOD^{M[G]}, for sufficiently large collapse generics G over M. This builds on joint work with Sargsyan and Schindler.Keywords: Set theory; inner model theory; self-iterability; Varsovian models; set theoretic geology
Speakers from the University of Münster
| Schlutzenberg, Farmer | Junior professorship for mathematical logic (Prof. Schlutzenberg) |