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:20260507T121411Z
DTSTART:20260513T140000Z
DTEND:20260513T150000Z
SUMMARY:Logic Seminar - Leo Gitin
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}e21a-mo2mhu
 o1-8dcrzx
DESCRIPTION:Speaker: Leo Gitin (University of Oxford)\n\nInfinitary metho
 ds in valuative algebra\n\nInfinitary logic is a well-established extens
 ion of "ordinary" first-order logic\, which flourished in the 60s and 70
 s. Its usefulness for algebraic applications has been recognised by many
 \, though now it is less commonly used for such purposes.\nWe explain th
 at basic algebraic constructions\, such as radicals of ideals\, inverse 
 limits\, etc.\, are infinitarily definable or interpretable (some of the
 se ideas are folklore). Taking the infinitary point of view\, we prove e
 lementary preservation results for concrete objects of algebraic interes
 t\, such as tilts and decompositions of valuations. As an application\, 
 we show that tilting preserves the Lévy hierarchy of formulas\, thus ans
 wering a question of Jahnke and Kartas.
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1\, Alan Turing Building\, Manchester
END:VEVENT
END:VCALENDAR