BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Michael Lieberman (Brno University of Technology)
DTSTART:20210325T180000Z
DTEND:20210325T190000Z
DTSTAMP:20260423T035757Z
UID:OLS/46
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/46/">Rec
 ent developments in categorical model theory</a>\nby Michael Lieberman (Br
 no University of Technology) as part of Online logic seminar\n\n\nAbstract
 \nWe give an overview of the foundations of the still-emerging field of ca
 tegorical model theory\, which synthesizes ideas and methods drawn from ac
 cessible categories\, abstract model theory\, and set theory.  We discuss 
 the fundamental nexus of interaction---a very slight generalization of abs
 tract elementary classes (AECs)---and sketch a few recent results.  In par
 ticular\, we consider:\n-Connections between compact cardinals\, tameness 
 of Galois types\, and the closure of images of accessible functors (joint 
 work with Will Boney).\n-Stable independence on an abstract category\, wit
 h surprising connections to homotopy theory (joint work with Jiří Rosick
 ý and Sebastien Vasey).\n
LOCATION:https://researchseminars.org/talk/OLS/46/
END:VEVENT
END:VCALENDAR