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:20220310T163638Z
DTSTART:20220316T150000Z
DTEND:20220316T160000Z
SUMMARY:Logic Seminar - Mark Kamsma (UEA)
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}j1e8-l0l7pt
xc-6raq0r
DESCRIPTION:Title: Bilinear spaces over a fixed field are simple unstable
\n\nAbstract: We study the model theory of vector spaces with a bilinear
form over a fixed field. For finite fields this can be\, and has been\,
done in the classical framework of full first-order logic. For infinite
fields we run into issues with compactness and we need a different logi
cal framework. In this talk we will take the approach of positive logic\
, a framework that is very close to full first-order logic\, but where n
egation is not built in (but can be added as desired). Positive logic al
lows us to study bilinear spaces over any fixed field. The arising posit
ive theory turns out to be simple unstable. We also fully characterise i
ts existentially closed models. Time permitting\, we will also discuss s
ome other interesting facts about this theory\, concerning elimination o
f quantifiers and omega-categoricity.
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1 (and zoom\, link in email)\, Alan Turing Building\
, Manchester
END:VEVENT
END:VCALENDAR