English

Definability of complex functions in o-minimal structures

Logic 2025-06-19 v1

Abstract

We prove that some holomorphic continuations of functions in the classes an\mathbf{an}^* and G\mathcal{G} are definable in the o-minimal structures Ran\mathbb{R}_{\mathrm{an}^*} and RG\mathbb{R}_{\mathcal{G}} respectively. More specifically, we give complex domains on which the holomorphic continuations are definable, and show they are optimal. As an application, we describe optimal domains on which the Riemann ζ\zeta function is definable in o-minimal expansions of Ran,exp\mathbb{R}_{\mathrm{an}^*,\exp} and on which the Γ\Gamma function is definable in o-minimal expansions of RG,exp\mathbb{R}_{\mathcal{G},\exp}.

Keywords

Cite

@article{arxiv.2506.15119,
  title  = {Definability of complex functions in o-minimal structures},
  author = {Adele Padgett and Patrick Speissegger},
  journal= {arXiv preprint arXiv:2506.15119},
  year   = {2025}
}

Comments

20 pages, 6 figures

R2 v1 2026-07-01T03:23:01.683Z