© 1997 by London Mathematical Society
© The London Mathematical Society
Logarithmic-Exponential Power Series
University of Illinois Urbana, Illinois 61801-2917, USA. E-mail: vddries{at}math.uiuc.edu
Oxford University Oxford. E-mail: ajm{at}vax.ox.ac.uk
Department of Mathematics, Statistics and Computer Science, The University of Illinois at Chicago Chicago, Illinois 60607-7045, USA. E-mail: marker{at}math.uic.edu
Received 22 February 1995. Revision received 26 July 1995.
We use generalized power series to construct algebraically a nonstandard model of the theory of the real field with exponentiation. This model enables us to show the undefinability of the zeta function and certain non-elementary and improper integrals. We also use this model to answer a question of Hardy by showing that the compositional inverse to the function (log x) (log log x) is not asymptotic as x
+
to a composition of semialgebraic functions, log and exp.