Exponential ideals and a Nullstellensatz

Abstract

We prove a version of a Nullstellensatz for partial exponential fields $(F,E)$, even though the ring of exponential polynomials $F[\mathbf X]^E$ is not a Hilbert ring. We show that under certain natural conditions, one can embed an ideal of $F[\mathbf X]^E$ into an exponential ideal. In case the ideal consists of exponential polynomials with one iteration of the exponential function, we show that these conditions can be met. We apply our results to the case of ordered exponential fields.