Semiscales constructed from mice

Basic data for this talk

Type of talkscientific talk
Name der VortragendenSchlutzenberg Farmer
Date of talk01/08/2017
Talk languageEnglish

Information about the event

Name of the eventIn mice we trust - 4th Münster conference on inner model theory
Event period17/07/2019 - 01/08/2019
Event locationWWU Münster
Event websitehttps://ivv5hpp.uni-muenster.de/u/rds/muenster_meeting_2017.html
Organised byWWU Münster

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).
KeywordsSet theory; semiscale; inner model theory; mouse; background construction

Speakers from the University of Münster

Schlutzenberg, Farmer
Junior professorship for mathematical logic (Prof. Schlutzenberg)