Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Analytic continuations of log-exp-analytic germs
(Submitted on 15 Aug 2017 (v1), last revised 19 Oct 2018 (this version, v4))
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.
Submission history
From: Patrick Speissegger [view email][v1] Tue, 15 Aug 2017 13:48:56 GMT (42kb)
[v2] Sun, 3 Sep 2017 16:04:54 GMT (43kb)
[v3] Sun, 3 Jun 2018 18:40:19 GMT (43kb)
[v4] Fri, 19 Oct 2018 12:45:17 GMT (44kb)
Link back to: arXiv, form interface, contact.