RUS  ENG
Полная версия
СЕМИНАРЫ

Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
21 апреля 2025 г. 16:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн


Complex field with quasiminimal structure

A. Dmitrieva

University of East Anglia



Аннотация: 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.

Язык доклада: английский


© МИАН, 2025