Some holomorphic extensions

(Joint work with Tobias Kaiser) We are interested in holomorphic extensions of one-variable functions definable in $\Ranexp$. Since $\exp$ and $\log$ are two crucial functions definable in $\Ranexp$, the natural domain on which to consider holomorphic extensions of all definable functions is the Riemann surface of the logarithm $$\LL:= (0,\infty) \times \RR$$ with its usual…

The Hardy field of $\,\Ranexp$

(Joint work with Tobias Kaiser) The goal of this post is to describe the Hardy field $\H = \Hanexp$ of the expansion $\Ranexp$ of the real field by all restricted analytic functions and the exponential function, based on van den Dries, Macintyre and Marker’s papers on $\Ranexp$ and on LE-series. In particular, the first paper…