We construct and study structures imitating the field of complex numbers with exponentiation. We give a natural, albeit non first-order, axiomatisation for the corresponding class of structures and prove that the class has a unique model in every uncountable cardinality. This gives grounds to conjecture that the unique model of cardinality continuum is isomorphic to the field of complex numbers with exponentiation.

In 1984, Henson and Rubel [2] proved the following theorem: If p(x₁, ..., x n ) is an exponential polynomial with coefficients in with no zeroes in ℂ, then $p({x_1},...,{x_n}) = {e^{g({x_{1......}}{x_n})}}$ where g(x₁......x n ) is some exponential polynomial over ℂ. In this paper, I will prove the analog of this theorem for Zilber's Pseudoexponential fields directly from the axioms. Furthermore, this proof relies only on the existential closedness axiom without any reference to Schanuel's conjecture.

We construct a new class of 1 categorical structures, disproving Zilber's conjecture, and study some of their properties.

We give an axiomatization of the class ECF of exponentially closed fields, which includes the pseudo-exponential fields previously introduced by the second author, and show that it is superstable over its interpretation of arithmetic. Furthermore, ECF is exactly the elementary class of the pseudo-exponential fields if and only if the Diophantine conjecture CIT on atypical intersections of tori with subvarieties is true.