Asymptotic expansions of logarithmic-exponential functions (Q1865822)

In this paper the author studies the asymptotic expansion of real functions which are finite compositions of globally subanalytic maps with the exponential function and the logarithmic function. One of the main results is a preparation theorem for these log-exp functions following the work of \textit{J.-M. Lion} and \textit{J.-P. Rolin} [Ann. Inst. Fourier 47, 859-884 (1997; Zbl 0873.32004)]. This result allows to derive the convergence of some asymptotic expansions of log-exp functions in certain scales of real functions such as the scale of real power functions. It must be noticed that some results in the same spirit have appeared in the paper of \textit{L. van den Dries, A. Macintyre} and \textit{D. Marker} [J. Lond. Math. Soc., II Ser. 56, 417-434 (1997; Zbl 0924.12007)] using model theory but here only arguments from analytic geometry are used. \textit{L. van den Dries} and \textit{C. Miller} conjectured in [Duke Math. J. 84, 497-540 (1996; Zbl 0889.03025)] that there is no o-minimal structure lying stricly between \(\mathbb R_{\text{an}}\) and \(\mathbb R_{\text{an,exp}}\). As a nice consequence of the results of this paper the author proves this conjecture in the one dimensional case.