Sublogarithmic-transexponential series

Publication date 12 November 2022

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Difference algebra (12H10) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60)

Abstract: We adapt the construction of the field of logarithmic-exponential transseries of van den Dries, Macintyre, and Marker to build an ordered differential field of sublogarithmic-transexponential series. We use this structure to build a transexponential Hardy field closed under composition. Specifically, we prove that the germs at

+ i n f t y

of

m a t h c a l L_{m a t h r m t r a n s e x p}

-terms in a single variable are ordered, where

m a t h c a l L_{m a t h r m t r a n s e x p}

is a language containing

m a t h c a l L_{m a t h r m a n} (e x p, l o g)

with new symbols for a transexponential function, its derivatives, and their compositional inverses.

This page was built for publication: Sublogarithmic-transexponential series

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