In mathematics, an ordered exponential field is an ordered field together with a function which generalises the idea of exponential functions on the ordered field of real numbers.
on an ordered field
is a strictly increasing isomorphism of the additive group of
onto the multiplicative group of positive elements of
is called an ordered exponential field.
A formally exponential field, also called an exponentially closed field, is an ordered field that can be equipped with an exponential
For any formally exponential field