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:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20241103T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69f8c5c63d994
DTSTART;TZID=America/Toronto:20250204T153000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20250204T163000
URL:https://uwaterloo.ca/pure-mathematics/events/mcmaster-waterloo-model-th
 eory-seminar-2
SUMMARY:McMaster-Waterloo Model Theory Seminar
CLASS:PUBLIC
DESCRIPTION:CHRISTINE EAGLES\, UNIVERSITY OF WATERLOO\n\nQuantifier free in
 ternality and binding groups in ACFA\n\nIn ACFA\, the definable closure of
  a set is not well understood. This\npresents an obstacle to understanding
  internality to the fixed field.\nInstead\, we look at quantifier-free int
 ernality. In this talk we will\nfollow Kamensky and Moosa (2024) by presen
 ting quantifier-free\ninternality and then stating a binding group theorem
  for rational\ntypes which are quantifier-free internal to the fixed field
 .\n\nMC 5479
DTSTAMP:20260504T161358Z
END:VEVENT
END:VCALENDAR