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:20220313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20221106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69f7eb5502e2f
DTSTART;TZID=America/Toronto:20230302T143000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20230302T143000
URL:https://uwaterloo.ca/pure-mathematics/events/computability-theory-learn
 ing-seminar-13
SUMMARY:Computability Theory Learning Seminar
CLASS:PUBLIC
DESCRIPTION:RACHAEL ALVIR\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY OF 
 WATERLOO\n\n\"EFFECTIVELY CLOSED SETS - PART VI\"\n\nAn effectively closed
  set (or $\\Pi^0_1$ class) in Baire space\n$\\omega^\\omega$ is the set $[
 T]$ of infinite branches through a\ncomputable tree $T$. This semester in 
 the computability seminar\, we\nwill be studying $\\Pi^0_1$ classes from C
 enzer \\& Remmel's textbook.\nThis week we will start proving an effective
  version of the perfect\nset theorem.\n\nMC 5403
DTSTAMP:20260504T004157Z
END:VEVENT
END:VCALENDAR