BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Ivory Fronteau - Preservation under reduced products in continuous
  logic
DTSTART:20260604T130000Z
DTEND:20260604T140000Z
DTSTAMP:20260614T033100Z
UID:indico-event-16759@indico.math.cnrs.fr
DESCRIPTION:Reduced products are the natural generalisation of ultraprodu
 cts when one uses any filter instead of ultrafilters. It is a classical r
 esult\, due to Keisler and Galvin\, that a first-order formula is preserv
 ed under reduced products if and only if it is equivalent to a Horn formu
 la. However\, another fragment is of interest when studying reduced produ
 cts: the one consisting of Palyutin formulas (also called h-formulas). Fi
 rst\, Palyutin formulas satisfy some kind of Łoś's Theorem for reduced 
 products\, contrary to Horn formulas in general. Moreover\, they are used
  to obtain a nice characterisation of complete theories that are preserve
 d under reduced products. This allows one\, for instance\, to prove an an
 alogue of Keisler-Shelah's Theorem for reducedproducts\, or to study stabi
 lity of these structures. \nAfter reviewing some of these results in the 
 classical setting\, we will see that very similar tools can be developed t
 o study reduced products of metric structures\, as defined by Lopes.\n\nht
 tps://indico.math.cnrs.fr/event/16759/
LOCATION:112 (ICJ)
URL:https://indico.math.cnrs.fr/event/16759/
END:VEVENT
END:VCALENDAR