<div class="csl-bib-body">
<div class="csl-entry">Müller, S. (2022, September). <i>Highlights from infinite games, mice and their connection.</i> [Conference Presentation]. PhDs in Logic XIII, Universität von Turin, Turin, Italy.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/152849
-
dc.description
Highlights from infinite games, mice, and their connection
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. In this talk, we will outline the main concepts and results connecting determinacy hypotheses with the existence of mice with large cardinals as well as recent progress in the area.
-
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.language.iso
en
-
dc.subject
The constructible universe
-
dc.title
Highlights from infinite games, mice and their connection.
-
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
V 844_N
-
dc.type.category
Conference Presentation
-
tuw.publication.invited
invited
-
tuw.project.title
Lange Spiele und Determiniertheit wenn alle Mengen uB sind
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-01 - Forschungsbereich Algebra
-
tuw.author.orcid
0000-0002-7224-187X
-
tuw.event.name
PhDs in Logic XIII
-
tuw.event.startdate
05-09-2022
-
tuw.event.enddate
07-09-2022
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Universität von Turin, Turin
-
tuw.event.country
IT
-
tuw.event.institution
Universität von Turin
-
tuw.event.presenter
Müller, Sandra
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
100
-
item.openairetype
Presentation
-
item.openairetype
Vortrag
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.fulltext
no Fulltext
-
crisitem.project.funder
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
crisitem.project.grantno
V 844_N
-
crisitem.author.dept
E104-01 - Forschungsbereich Algebra
-
crisitem.author.orcid
0000-0002-7224-187X
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie