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:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20231105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69fa31295f9d9
DTSTART;TZID=America/Toronto:20231116T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20231116T160000
URL:https://uwaterloo.ca/pure-mathematics/events/model-theory-learning-semi
 nar-28
SUMMARY:Model Theory Learning Seminar
CLASS:PUBLIC
DESCRIPTION:LAINDON BURNETT\, DEPARTMENT OF PURE MATHEMATICS\, UNIVERSITY O
 F\nWATERLOO\n\n\"HONEST DEFINITIONS IN NIP\"\n\nWe cover the idea of Hones
 t Definitions from Pierre Simon's \"A Guide\nto NIP Theories\". In particu
 lar\, we show that in an NIP theory\, even\nif a particular type is not de
 finable over a given set (and hence\nthere is a bad formula which prevents
  it from being so)\, we may\ninstead define this formula with parameters f
 rom an elementary\nextension\, and this new defining formula is captured i
 nside of the bad\nformula when we loosen ourselves and allow for object va
 riables to\ncome from the extension.\n\nMC 5403
DTSTAMP:20260505T180425Z
END:VEVENT
END:VCALENDAR