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:69f57f215fac0
DTSTART;TZID=America/Toronto:20260210T113000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260210T123000
URL:https://uwaterloo.ca/pure-mathematics/events/logic-seminar-85
SUMMARY:Logic Seminar
CLASS:PUBLIC
DESCRIPTION:DIEGO BEJARANO\, YORK UNIVERSITY\n\n_Definability and Scott ran
 k in separable metric structures_\n\nIn [2]\, Ben Yaacov et. al. extended 
 the basic ideas of Scott analysis\nto metric structures in infinitary cont
 inuous logic. These include\nback-and-forth relations\, Scott sentences\, 
 and the Lopez-Escobar\ntheorem to name a few. In this talk\, I will talk o
 n my work connecting\nthe ideas of Scott analysis to the definability of a
 utomorphism orbits\nand a notion of isolation for types within separable m
 etric\nstructures. Our results are a continuous analogue of the more robus
 t\nScott rank developed by Montalbán in [3] for countable structures in\n
 discrete infinitary logic. However\, there are some differences arising\nf
 rom the subtleties behind the notion of definability in continuous\nlogic.
 \n\n[1] Diego Bejarano\, Definability and Scott rank in separable metric\n
 structures\, https://arxiv.org/abs/2411.01017\,\n\n[2] Itaï Ben Yaacov\, 
 Michal Doucha\, Andre Nies\, and Todor Tsankov\,\nMetric Scott analysis\, 
 Advances in Mathematics\, vol. 318 (2017)\,\npp.46–87.\n\n[3] Antonio Mo
 ntalbán\, A robuster Scott rank\, Proceedings of the\nAmerican Mathematic
 al Society\, vol.143 (2015)\, no.12\, pp.5427–5436.\n\nMC 5417
DTSTAMP:20260502T043545Z
END:VEVENT
END:VCALENDAR