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:20180311T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20171105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a250ae36aea0
DTSTART;TZID=America/Toronto:20180502T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20180502T140000
URL:https://uwaterloo.ca/pure-mathematics/events/computability-learning-sem
 inar-85
SUMMARY:Computability Learning Seminar
CLASS:PUBLIC
DESCRIPTION:MICHAEL DEVEAU\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY OF
  WATERLOO\n\n\"Games\, Determinacy and Martin's Theorem\"\n\nWe first defi
 ne the notion of a game and then discuss the Axiom of\nDeterminacy (AD)\, 
 which is inconsistent with ZFC. We work instead in\nZF + AD\, and explore 
 the consequences of AD as it relates to Turing\ndegrees. In particular\, w
 e prove Martin's Theorem: assuming AD\, every\nset of Turing degrees conta
 ins or omits a cone of degrees.\n\nMC 5403
DTSTAMP:20260607T060835Z
END:VEVENT
END:VCALENDAR