Semiscales constructed directly from mice
Basic data for this talk
Type of talk: scientific talk
Name der Vortragenden: Schlutzenberg Farmer
Date of talk: 29/01/2018
Talk language: English
Information about the event
Name of the event: Bonn Oberseminar mathematische Logik
Event location: Universität Bonn
Organised by: Universität Bonn
Abstract
In approximately 1999, Neeman announced a construction of scales directly from mice, avoiding determinacy arguments. His work remains unpublished. We will describe a new construction which produces semiscales directly from mice. It yields, for example, Semiscale(Π^1_3).Keywords: Set theory; scale; inner model theory; mice; background construction
Speakers from the University of Münster
| Schlutzenberg, Farmer | Junior professorship for mathematical logic (Prof. Schlutzenberg) |