We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Analytic continuations of log-exp-analytic germs

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.
Comments: 54 pages. Final version accepted for publication in Trans. Amer. Math. Soc. One example added before Corollary 7.6, and various typos corrected
Subjects: Logic (math.LO); Complex Variables (math.CV)
MSC classes: 03C99, 30H99
Cite as: arXiv:1708.04496 [math.LO]
  (or arXiv:1708.04496v4 [math.LO] for this version)

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.