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:20181104T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6a248027b5ac9
DTSTART;TZID=America/Toronto:20190110T160000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20190110T160000
URL:https://uwaterloo.ca/pure-mathematics/events/model-theory-seminar-21
SUMMARY:Model Theory Seminar
CLASS:PUBLIC
DESCRIPTION:DAVID MARKER\, UNIVERSITY OF ILLINOIS AT CHICAGO\n\n\"Logical C
 omplexity of Schanuel's Conjecture\"\n\nSchanuel's Conjecture is naturally
  a \\Pi^1_1-statement.  We show that\nit is equivalent to a \\Pi^0_3-stat
 ement in arithmetic by showing that\nif there are counterexamples\, then t
 here are computable\ncounterexamples.  The main ideas come from the work 
 of Johnathan\nKirby on exponential algebraic closure and exponential deriv
 ations.\n\nMC 5403
DTSTAMP:20260606T201639Z
END:VEVENT
END:VCALENDAR