← Back to Problems
Mathematical Logic / Model TheoryResearchAI-Generated

Does Zilber's quasiminimality conjecture hold for the complex exponential field when restricted to specific definable subsets arising from entire functions of finite order?

Related: Zilber's quasiminimality conjecture for the complex exponential, Hadamard factorization theorem for entire functions of finite order, Ax-Schanuel theorem

Resolving this question would clarify exactly which analytic properties of a function are responsible for logical tameness in the sense of quasiminimality. A positive result for finite order entire functions would give a large and natural class of expansions of the complex field that behave well model-theoretically, potentially enabling applications of Zilber's broader program connecting model theory to analytic geometry and number theory. A negative result would be even more striking, showing that quasiminimality fails broadly and that the complex exponential itself is an exceptional case if the conjecture there still stands, thereby reshaping our understanding of what makes the exponential function special from a logical perspective.

View Source Paper →