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 prove that no restriction of the sine function to any (open and nonempty) interval is definable in $\langle\mathbf{R}, +, \cdot, , and that no restriction of the exponential function to an (open and nonempty) interval is definable in $\langle \mathbf{R}, +, \cdot, , where $\sin_0(x) = \sin(x)$ for x ∈ [ -π,π], and $\sin_0(x) = 0$ for all $x \not\in\lbrack -\pi,\pi\rbrack$.

We explain how the field of logarithmic-exponential series constructed in 20 and 21 embeds as an exponential field in any field of exponential-logarithmic series constructed in 9, 6, and 13. On the other hand, we explain why no field of exponential-logarithmic series embeds in the field of logarithmic-exponential series. This clarifies why the two constructions are intrinsically different, in the sense that they produce non-isomorphic models of Thequation image; the elementary theory of the ordered field of real numbers, with the (...) exponential function and restricted analytic functions. (shrink)