BEGIN:VCALENDAR
VERSION:2.0
PRODID:www.imperial.ac.uk
BEGIN:VEVENT
UID:63dce5dfb78ec
DTSTART:20221109T160000Z
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20221109T170000Z
URL:https://www.imperial.ac.uk/events/154826/london-logic-seminar-artem-che
rnikov/
LOCATION:United Kingdom
SUMMARY:London Logic Seminar ā Artem Chernikov
CLASS:PUBLIC
DESCRIPTION:Title: Model theory of multilinear forms\n\nAbstract: Generaliz
ing (and correcting) some work of Granger in the case n=2\, we establish a
relative quantifier elimination result for non-degenerate n-linear forms
and demonstrate that they are NSOP1\, and n-dependent assuming that the fi
eld is NIP. The latter relies in particular on a higher arity version of t
he Composition Lemma: a composition of a relation definable in an NIP stru
cture with arbitrary n-ary functions is n-dependent. We also discuss conne
cted components G^{00} and G^{\\infty} of definable groups in these exampl
es\, and in general n-dependent theories.\nJoint work with Nadja Hempel.\n
\nā\n\nThis will be an online seminar.
X-ALT-DESC;FMTTYPE=text/html:**Title:** Model theory of multilinear
forms

\n\n**Abstract:** Generalizing (and correct
ing) some work of Granger in the case n=2\, we establish a relative quanti
fier elimination result for non-degenerate n-linear forms and demonstrate
that they are NSOP1\, and n-dependent assuming that the field is NIP. The
latter relies in particular on a higher arity version of the Composition L
emma: a composition of a relation definable in an NIP structure with arbit
rary n-ary functions is n-dependent. We also discuss connected components
G^{00} and G^{\\infty} of definable groups in these examples\, and in gene
ral n-dependent theories.

\nJoint work with Nadja Hempel.

\
n\nā

\n\n*This will be an online
seminar.*

DTSTAMP:20230203T104551Z
END:VEVENT
END:VCALENDAR