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:20250321T102856Z
DTSTART:20250326T150000Z
DTEND:20250326T160000Z
SUMMARY:Logic seminar: Mike Prest
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}v1kn-m6ow69
 iu-cphy77
DESCRIPTION:Title: Elimination of quantifiers and elimination of imaginar
 ies in triangulated categories\n\nAbstract: There is a natural language 
 for objects in compactly generated triangulated categories.  The resulti
 ng model theory is equivalent to the model theory of modules over certai
 n kinds of rings with many objects.  In contrast with the usual situatio
 n for model theory of modules\, where one has just pp-elimination of qua
 ntifiers\, in this context we have both elimination of quantifiers and e
 limination of pp-imaginaries.\n\nThese results are in:\n\nGrigory Garkus
 ha and Mike Prest\, Triangulated categories and the Ziegler spectrum\, A
 lgebras and Representation Theory\, 8(4) (2005)\, 499-523\n\nMike Prest 
 and Rose Wagstaffe\, Model theory in compactly generated triangulated ca
 tegories\, Model Theory\, 3(1) (2024)\, 147-197.
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1\, Alan Turing Building\, Manchester
END:VEVENT
END:VCALENDAR