On local definability of holomorphic functions

DOI10.1093/QMATH/HAZ015MaRDI QIDQ5000348zbMATH OpenOpenAlexFDO

Authors G. O. Jones, Jonathan Kirby, Olivier Le Gal, Tamara Servi

Publication date 12 July 2021

Published in The Quarterly Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1712.07064, https://ueaeprints.uea.ac.uk/id/eprint/72748/1/JonesKirbyLeGalServi_March2019.pdf

zbMATH Keywords

holomorphic functionslocal definability

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Holomorphic functions of several complex variables (32A10)

Abstract: Given a collection A of holomorphic functions, we consider how to describe all the holomorphic functions locally definable from A. The notion of local definability of holomorphic functions was introduced by Wilkie, who gave a complete description of all functions locally definable from A in the neighbourhood of a generic point. We prove that this description is no longer complete in the neighbourhood of non-generic points. More precisely, we produce three examples of holomorphic functions which suggest that at least three new operations need to be added to Wilkie's description in order to capture local definability in its entirety. The constructions illustrate the interaction between resolution of singularities and definability in the o-minimal setting.

Recommendations

• scientific article; zbMATH DE number 5364148
• Tame complex analysis and o-minimality
• Notes on local o-minimality
• Piecewise Weierstrass preparation and division for o-minimal holomorphic functions
• Locally polynomially bounded structures

Cited in

(4)

• Local interdefinability of Weierstrass elliptic functions
• scientific article; zbMATH DE number 5364148 (Why is no real title available?)
• Some applications of transversality for infinite dimensional manifolds
• Analytic continuation and Zilber's quasiminimality conjecture

This page was built for publication: On local definability of holomorphic functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5000348)