Exponential ideals and a Nullstellensatz

MaRDI QIDQ6339198zbMATH OpenFDO

Authors Françoise Point, N. Regnault

Publication date 22 April 2020

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Model theory of fields (12L12)

Abstract: We prove a version of a Nullstellensatz for partial exponential fields $(K,E)$, even though the ring of exponential polynomials $K[X_1,ldots,X_n{]}^E$ is not a Hilbert ring. We show that under certain natural conditions one can embed an ideal of $K[X_1,ldots,X_n{]}^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.

This page was built for publication: Exponential ideals and a Nullstellensatz

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6339198)