BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
 M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20241128T124321Z
DTSTART:20241204T151500Z
DTEND:20241204T163000Z
SUMMARY:Logic seminar: Michael Benedikt
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}r158-m38nih
 im-8ox0xo
DESCRIPTION:Title: Finite Structures Embedded in Infinite Ones\, Then and
  Now\n\nThis talk is about a hybrid of finite and infinite model theory\
 , where formulas can reference  two kinds of non-logical symbols:  there
  are\n``built-in'' or ``interpreted'' symbols\, which are interpreted ov
 er an infinite structure for a complete background theory  -- e.g. real 
 or integer arithmetic. And there are ``uninterpreted relation symbols'' 
 ranging over finite relations living within an infinite model of the the
 ory. The expressiveness of first order logic in this setting was studied
  in the late 90's  and early 2000's\, motivated by the real field case\,
  stemming from questions in databases and computational geometry.\n\nMuc
 h of this talk will review what was accomplished decades ago.\nI'll then
  present an overview of recent joint work by myself and Ehud Hrushovski 
 (https://urldefense.com/v3/__https://arxiv.org/abs/2304.09231__\;!!PDiH4
 ENfjr2_Jw!BG-MSbdB-HqmGiqFoMAJ2BGxjQdNdLjXn3D1TWARSij0ZqktxMGdBgzvyrjk7L
 1m4mU2qUZPNMxzPfinJfoad0xzk558E12NrLkuE3UgOxs_Tg$ [arxiv[.]org])\, that 
 represented some progress on the many questions that were left open in d
 ecades past.
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1\, Alan Turing Building\, Manchester
END:VEVENT
END:VCALENDAR