BEGIN:VCALENDAR
VERSION:2.0
PRODID:Custom
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=2SU;BYMONTH=3
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=1SU;BYMONTH=11
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:mathcal-12@shafikov.ca
DTSTAMP:19980119T070000Z
SUMMARY:Some results in constructive cardinal theory (Fredrik Bakke - Norwegian University of Science and Technology)
DTSTART;TZID=America/Toronto:20260812T153000
DTEND;TZID=America/Toronto:20260812T163000
DESCRIPTION:While the basic study of cardinals are undeniably important in mathematics\, they are surprisingly ill-behaved in the constructive setting\, where they are currently poorly understood. In this seminar\, I will present a series of novel constructive results on cardinals\, including a constructivization of the Cantor-Schröder-Bernstein theorem\,a predicative proof of the uncountability of the (MacNeille) reals\, and\, if time permits\, a constructivization of König’s theorem. Along the way\, I will highlight aspects and challenges in the study of constructive cardinals\, as well as some ways to tackle them.
LOCATION:MC 107
END:VEVENT
END:VCALENDAR