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:20250331T112828Z
DTSTART:20250402T140000Z
DTEND:20250402T150000Z
SUMMARY:Logic seminar: Charlotte Kestner
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}m1g7-m66pl1
 9g-7d4b2p
DESCRIPTION:Title: Some model theory of Quadratic Geometries\n\nAbstract:
  I will introduce the theories of orthogonal spaces and quadratic geomet
 ries over infinite fields\, giving some background on Lie coordinatisabl
 e structures\, and bilinear forms over infinite fields. I will then go o
 n to explain the quantifier elimination for these structures\, and discu
 ss the axiomatisation of their pseudo-finite completions and model compa
 nions.  This is joint work with Nick Ramsey.\n
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1\, Alan Turing Building\, Manchester
END:VEVENT
END:VCALENDAR