HOD^L[E] above omega_3^L[E] below a Woodin limit of Woodins
Basic data for this talk
Type of talk: scientific talk
Name der Vortragenden: Schlutzenberg Farmer
Date of talk: 20/07/2016
Talk language: English
Information about the event
Name of the event: 1st Irvine conference on descriptive inner model theory and hod mice
Event period: 18/07/2016 - 29/07/2016
Event location: UC Irvine, California, USA
Event website: https://www.math.uci.edu/~mzeman/CMI/cmi-2016.html
Organised by: UC Irvine
Abstract
In this talk I will present some theorems regarding HOD_X^M, where M=L[E] is an iterable mouse satisfying ZFC and X=M|alpha for some alphaKeywords: Set theory; inner model theory; large cardinal; fine stucture; ordinal definability
Speakers from the University of Münster
| Schlutzenberg, Farmer | Junior professorship for mathematical logic (Prof. Schlutzenberg) |