Blurred Complex Exponentiation
Amphitheatre Hermite IHPZilber conjectured that the complex field equipped with the exponential function is quasiminimal: every definable subset of the complex numbers is countable or co-countable. If true, it would mean that the geometry of solution sets of complex exponential-polynomial equations and their projections is somewhat like algebraic geometry. If false, it is likely that the real field is definable and there may be no reasonable geometric theory of these definable sets.I will report on some progress towards the conjecture, including a proof when the exponential function is replaced by the approximate […]