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:20120311T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20111106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a223aaee232c
DTSTART;TZID=America/Toronto:20120530T153000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20120530T163000
URL:https://uwaterloo.ca/pure-mathematics/events/computability-learning-sem
 inar-harrison-trainor-may-30-2012
SUMMARY:Computability learning seminar
CLASS:PUBLIC
DESCRIPTION:MATTHEW HARRISON-TRAINOR\, PURE MATHEMATICS DEPARTMENT\,  UNIV
 ERSITY OF\nWATERLOO\n\nOMITTING PARTIAL TYPES AND HYPERIMMUNE DEGREES\n\nW
 e will show that hyperimmune degrees are able to omit non-principal\nparti
 al types\, and in fact are the only such types. By seeing that\nthis proof
  can be carried out in RCA0\, we will show that omitting\npartial types an
 d the existence of hyperimmune degrees are equivalent\nover RCA0.
DTSTAMP:20260605T025542Z
END:VEVENT
END:VCALENDAR