Abstract
In 1984, Henson and Rubel [2] proved the following theorem: If p(x₁,…,xn) is an exponential polynomial with coefficients in ℂ with no zeroes in ℂ, then p(x₁,…,xn)= eg(x₁,…,xn) where g(x₁,…,xn) 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.
Citation
Ahuva C. Shkop. "Henson and Rubel's theorem for Zilber's pseudoexponentiation." J. Symbolic Logic 77 (2) 423 - 432, June 2012. https://doi.org/10.2178/jsl/1333566630
Information