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:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20231105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69faa1102449e
DTSTART;TZID=America/Toronto:20240403T143000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20240403T153000
URL:https://uwaterloo.ca/pure-mathematics/events/logic-seminar-64
SUMMARY:Logic Seminar
CLASS:PUBLIC
DESCRIPTION:FRANKLIN TALL\, UNIVERSITY OF TORONTO\n\n\"AN UNDECIDABLE EXTEN
 SION OF MORLEY’S THEOREM ON THE NUMBER OF\nCOUNTABLE MODELS\"\n\nWe show
  that Morley’s theorem on the number of countable models of a\ncountable
  first-order theory becomes an undecidable statement when\nextended to sec
 ond-order logic. More generally\, we calculate the\nnumber of equivalence 
 classes of equivalence relations obtained by\ncountable intersections of p
 rojective sets in several models of set\ntheory. Our methods include rando
 m and Cohen forcing\, large cardinals\,\nand Inner Model Theory.\n\nMC 547
 9
DTSTAMP:20260506T020152Z
END:VEVENT
END:VCALENDAR