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:20130310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20121104T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a22cee9e1a6e
DTSTART;TZID=America/Toronto:20130802T143000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20130802T143000
URL:https://uwaterloo.ca/pure-mathematics/events/logic-seminar-miller-aug-2
 -2013
LOCATION:MC - Mathematics & Computer Building 200 University Avenue West 50
 45 Waterloo ON N2L 3G1 Canada
SUMMARY:Logic seminar
CLASS:PUBLIC
DESCRIPTION:JOSEPH MILLER\, UNIVERSITY OF WISCONSIN - MADISON\n\n\"THE DEGR
 EES OF RELATIVE PROVABILITY\"\n\nMingzhong Cai recently introduced the deg
 rees of provability to\ncompare the proof-theoretic strength of statements
  asserting the\ntotality of computable functions. They can also be viewed 
 as the\nLindenbaum algebra of true $\\Pi^0_2$ statements in first-order\na
 rithmetic. We investigate the structure of the degrees of
DTSTAMP:20260605T132809Z
END:VEVENT
END:VCALENDAR