pith. sign in

arxiv: 1708.04496 · v4 · pith:LMO5A3UWnew · submitted 2017-08-15 · 🧮 math.LO · math.CV

Analytic continuations of log-exp-analytic germs

classification 🧮 math.LO math.CV
keywords germsanalyticcontinuationsdefinableapplicationcomplexitylogarithmic-exponentialbelonging
0
0 comments X
read the original abstract

We describe maximal, in a sense made precise, analytic continuations of germs at infinity of unary functions definable in the o-minimal structure R_an,exp on the Riemann surface of the logarithm. As one application, we give an upper bound on the logarithmic-exponential complexity of the compositional inverse of an infinitely increasing such germ, in terms of its own logarithmic-exponential complexity and its level. As a second application, we strengthen Wilkie's theorem on definable complex analytic continuations of germs belonging to the residue field of the valuation ring of all polynomially bounded definable germs.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.