Hostname: page-component-586b7cd67f-t8hqh Total loading time: 0 Render date: 2024-11-29T22:20:39.237Z Has data issue: false hasContentIssue false

LOGARITHMIC-EXPONENTIAL POWER SERIES

Published online by Cambridge University Press:  01 December 1997

LOU VAN DEN DRIES
Affiliation:
University of Illinois, Urbana, Illinois 61801-2917, USA. E-mail: [email protected]
ANGUS MACINTYRE
Affiliation:
Oxford University, Oxford. E-mail: [email protected]
DAVID MARKER
Affiliation:
Department of Mathematics, Statistics and Computer Science, The University of Illinois at Chicago, Chicago, Illinois 60607-7045, USA. E-mail: [email protected]
Get access

Abstract

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.

Type
Notes and Papers
Copyright
The London Mathematical Society 1997

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)