Surreal ordered exponential fields

. In this sequel to [15], piggybacking on the just-said results, analogous results are established for ordered exponential fields, making use of a slight generalization of Schmeling's conception of a transseries field. It is further shown that a wide range of ordered exponential fields are isomorphic to initial exponential subfields of

(m a t h b f N o, e x p)

. These include all models of

T (m a t h b b R_{W}, e^{x})

, where

m a t h b b R_{W}

is the reals expanded by a convergent Weierstrass system

W

. Of these, those we call trigonometric-exponential fields are given particular attention. It is shown that the exponential functions on the initial trigonometric-exponential subfields of

m a t h b f N o

, which includes

m a t h b f N o

itself, extend to canonical exponential functions on their surcomplex counterparts. The image of the canonical map of the ordered exponential field

m a t h b b T^{L E}

of logarithmic-exponential transseries into

m a t h b f N o

is shown to be initial, as are the ordered exponential fields

m a t h b b R ((o m e g a))^{E L}

and

m a t h b b R l a n g l e l a n g l e o m e g a a n g l e a n g l e

.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Surreal ordered exponential fields

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