<div class="csl-bib-body">
<div class="csl-entry">Schlutzenberg, F. S. (2025, September 10). <i>Varsovian models</i> [Conference Presentation]. Young Set Theory 2025, Wien, Austria.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/224900
-
dc.description.abstract
Canonical inner models have interesting set-theoretic geology. Below a Woodin cardinal, they have no proper forcing grounds at all. But proper class mice of form L[E] always have proper grounds, as long as they have Woodin cardinals. In recent years, in work of Sargsyan, Schindler and the author, the mantles of certain mice L[E] containing Woodin cardinals and strong cardinals have been analysed, with the result that these mantles are strategy mice L[E,\Sigma] containing Woodin cardinals, are fully iterable, and closed under their own iteration strategies. Even though these strategy mice contain Woodin cardinals, they have no proper grounds themselves. The analysis relates heavily to the analysis of HOD in models of determinacy, but new features arise, and the arguments are purely inner model theoretic.
In this tutorial, I will begin with an introduction to some fundamentals of inner model theory, and then describe some of the key ideas which go into the study of these models.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.subject
Varsovian model
en
dc.subject
mouse
en
dc.subject
inner model
en
dc.subject
forcing
en
dc.subject
set-theoretic geology
en
dc.subject
iteration strategy
en
dc.subject
strategy mouse
en
dc.subject
genericity iteration
en
dc.title
Varsovian models
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
Y1498
-
dc.type.category
Conference Presentation
-
tuw.project.title
Determiniertheit und Woodin Limes von Woodin Kardinalzahlen
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-08 - Forschungsbereich Mengenlehre
-
tuw.event.name
Young Set Theory 2025
en
dc.description.sponsorshipexternal
Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)
-
dc.description.sponsorshipexternal
Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)
-
dc.relation.grantnoexternal
EXC 2044-390685587
-
dc.relation.grantnoexternal
445387776
-
tuw.event.startdate
08-09-2025
-
tuw.event.enddate
12-09-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Wien
-
tuw.event.country
AT
-
tuw.event.institution
TU Wien
-
tuw.event.presenter
Schlutzenberg, Farmer Salamander
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
100
-
item.openairetype
conference paper not in proceedings
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cp
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E104-08 - Forschungsbereich Mengenlehre
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie