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 and are definable in the o-minimal structures and 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 function is definable in o-minimal expansions of and on which the function is definable in o-minimal expansions of .
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