<div class="csl-bib-body">
<div class="csl-entry">Müller, S. (2024, January 29). <i>Determinacy, Large Cardinals, and Inner Models</i> [Conference Presentation]. Winter School in Abstract Analysis 2024, Hejnice, Czechia.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/208296
-
dc.description.abstract
The study of inner models was initiated by Gödel’s analysis of the constructible universe. Later, the study of canonical inner models with large cardinals, e.g., measurable cardinals, strong cardinals or Woodin cardinals, was pioneered by Jensen, Mitchell, Steel, and others. Around the same time, the study of infinite two-player games was driven forward by Martin’s proof of analytic determinacy from a measurable cardinal, Borel determinacy from ZFC, and Martin and Steel’s proof of levels of projective determinacy from Woodin cardinals with a measurable cardinal on top. First Woodin and later Neeman improved the result in the projective hierarchy by showing that in fact the existence of a countable iterable model, a mouse, with Woodin cardinals and a top measure suffices to prove determinacy in the projective hierarchy. This opened up the possibility for an optimal result stating the equivalence between local determinacy hypotheses and the existence of mice in the projective hierarchy. This tutorial outlines the main concepts and results connecting determinacy hypotheses with the existence of mice with large cardinals as well as recent progress in the area, assuming only basic set theoretic background.
en
dc.language.iso
en
-
dc.subject
Determinacy
en
dc.subject
Large Cardinal
en
dc.subject
Inner Model
en
dc.title
Determinacy, Large Cardinals, and Inner Models
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Conference Presentation
-
tuw.researchTopic.id
A3
-
tuw.researchTopic.name
Fundamental Mathematics Research
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-08 - Forschungsbereich Mengenlehre
-
tuw.author.orcid
0000-0002-7224-187X
-
tuw.event.name
Winter School in Abstract Analysis 2024
en
tuw.event.startdate
20-01-2024
-
tuw.event.enddate
03-02-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Hejnice
-
tuw.event.country
CZ
-
tuw.event.presenter
Müller, Sandra
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
5
-
wb.sciencebranch.value
95
-
item.languageiso639-1
en
-
item.openairetype
conference paper not in proceedings
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cp
-
crisitem.author.dept
E104-08 - Forschungsbereich Mengenlehre
-
crisitem.author.orcid
0000-0002-7224-187X
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
