Кафедра математической логики и теории алгоритмов мехмата МГУ

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar, Monday 16:00 MSK (UTC+3), Kontur Talk (www.mathnet.ru/eng/conf876)

21.04.2025 Anna Dmitrieva (U. of East Anglia, https://research-portal.uea.ac.uk/en/persons/anna-dmitrieva): Complex field with quasiminimal structure (online)

Zilber's Quasiminimality Conjecture states that the complex field equipped with the exponential function is quasiminimal, i.e. every definable subset is countable or co-countable. Despite remaining open, this conjecture led to multiple new concepts and results. One of the directions inspired by the conjecture is the investigation of analogous conjectures where the exponential map is replaced with another function or a function-like object. In most cases the obtained conjecture seems to stay as difficult as the exponential one; as pointed out by Koiran and Wilkie, it even remains open whether adding all entire functions to the complex field would make it quasiminimal or non-quasiminimal. In this talk we provide two quasiminimal examples of this sort: first one involves a correspondence between two elliptic curves, while the second one considers the theory of a generic function, as introduced by Zilber in 2002.

➰ ВК

www.group-telegram.com/us/msu_mathlog.com/209

580 viewsApr 18 at 15:59

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar, Monday 16:00 MSK (UTC+3), Kontur Talk (www.mathnet.ru/eng/conf876)

21.04.2025 Anna Dmitrieva (U. of East Anglia, https://research-portal.uea.ac.uk/en/persons/anna-dmitrieva): Complex field with quasiminimal structure (online)

Zilber's Quasiminimality Conjecture states that the complex field equipped with the exponential function is quasiminimal, i.e. every definable subset is countable or co-countable. Despite remaining open, this conjecture led to multiple new concepts and results. One of the directions inspired by the conjecture is the investigation of analogous conjectures where the exponential map is replaced with another function or a function-like object. In most cases the obtained conjecture seems to stay as difficult as the exponential one; as pointed out by Koiran and Wilkie, it even remains open whether adding all entire functions to the complex field would make it quasiminimal or non-quasiminimal. In this talk we provide two quasiminimal examples of this sort: first one involves a correspondence between two elliptic curves, while the second one considers the theory of a generic function, as introduced by Zilber in 2002.

➰ ВК

BY Кафедра математической логики и теории алгоритмов мехмата МГУ