BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Sandra Müller (TU Wien)
DTSTART:20230406T180000Z
DTEND:20230406T190000Z
DTSTAMP:20260423T021243Z
UID:OLS/120
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/120/">Ca
 nonical Models of Determinacy</a>\nby Sandra Müller (TU Wien) as part of 
 Online logic seminar\n\n\nAbstract\nWoodin proved that every model of $\\m
 athsf{AD}^+$ (a natural strengthening of determinacy) is elementarily equi
 valent to a derived model. In joint work with Sargsyan\, we established a 
 useful derived model representation for the Sealing model. In this talk\, 
 I will outline this result (assuming no knowledge of inner model theory) a
 nd describe its relevance for the inner model program.\n
LOCATION:https://researchseminars.org/talk/OLS/120/
END:VEVENT
END:VCALENDAR