Constant power maps on Hardy fields and transseries

Elliot Kaplan

Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We consider the expansion of $\mathbb{T}$ by the binary map that sends a positive transseries $f$…