BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69de30482a29b
DTSTART;TZID=America/Toronto:20260317T113000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260317T123000
URL:https://uwaterloo.ca/pure-mathematics/events/logic-seminar-86
SUMMARY:Logic Seminar
CLASS:PUBLIC
DESCRIPTION:NATHANIEL BANNISTER\, CARNEGIE MELLON UNIVERSITY\n\n_Condensed 
 Sets and the Solovay Model_\n\nWe exhibit a geometric morphism from the Gr
 othendieck topos\nrepresenting the Solovay model to the κ-pyknotic sets o
 f\nBarwick--Haine and Clausen--Scholze. We then use the properties of\nthi
 s morphism andautomatic continuity in the Solovay model to outline\na proo
 f of Clausen--Scholze's resolution of the Whiteheadproblem for\ndiscrete c
 ondensed abelian groups. Joint work with Dianthe Basak.\n\nMC 5417
DTSTAMP:20260414T121712Z
END:VEVENT
END:VCALENDAR