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:20231018T154227Z
DTSTART:20231025T141500Z
DTEND:20231025T151500Z
SUMMARY:Logic seminar: Anna Dmitrieva (University of East Anglia)
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}a24f-lnovfw
hz-6prree
DESCRIPTION:Title: Quasiminimality of a correspondence between two ellipt
ic curves\n\nAbstract: One of the well-known accomplishments of model th
eory is the study of the field of complex numbers. Its complete theory p
ossesses numerous nice properties\, including quantifier elimination. Mo
reover\, using quantifier elimination\, one can see that any definable s
ubset is finite or cofinite\, i.e. the theory is strongly minimal. Howev
er\, adding the exponential map to the structure makes it possible to de
fine the ring of integers\, preventing minimality and many other propert
ies. Nevertheless\, there is still hope that the theory is somewhat well
-behaved. For instance\, Zilberâ€™s quasiminimality conjecture states that
the complex exponential field is quasiminimal\, i.e. every definable su
bset is countable or co-countable. Analogous conjectures were made\, rep
lacing the exponential map with other interesting analytical functions.
In this talk we will focus on a reduct of one of these conjectures\, whi
ch involves a correspondence between two elliptic curves\, and discuss t
he quasiminimality of the structure in question.
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1 (and zoom\, link in email)\, Alan Turing Building\
, Manchester
END:VEVENT
END:VCALENDAR