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…