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:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69f8c5b4ac6f5
DTSTART;TZID=America/Toronto:20251120T163000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20251120T173000
URL:https://uwaterloo.ca/pure-mathematics/events/waterloo-mcmaster-joint-mo
 del-theory-seminar
SUMMARY:Waterloo-McMaster Joint Model Theory Seminar
CLASS:PUBLIC
DESCRIPTION:LAINDON BURNETT\, UNIVERSITY OF WATERLOO\n\n_A definable crite
 rion for definability_\n\nIn 2001\, A.A. Muchnik proved the surprising res
 ult that for any n\,\nthere is a formula within Presburger arithmetic whic
 h takes in a\npredicate A and is true if and only if A is definable in Pre
 sburger\narithmetic\; that is\, within this setting\, the property of bein
 g\ndefinable is itself definable. We will go over the proof of this\nresul
 t and\, time permitting\, discuss its applications to automata\ntheory.\n\
 nMC 5403
DTSTAMP:20260504T161340Z
END:VEVENT
END:VCALENDAR