
arXiv: 1712.07064
Abstract Given a collection $\mathcal {A}$ of holomorphic functions, we consider how to describe all the holomorphic functions locally definable from $\mathcal {A}$. The notion of local definability of holomorphic functions was introduced by Wilkie, who gave a complete description of all functions locally definable from $\mathcal {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 that 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.
secondary: 14P10, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], Mathematics - Logic, 03C64, 14P10, 2000 MSC: primary: 03C64, 510, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], o-minimal structures, [MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG], FOS: Mathematics, [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH]Mathematics [math], first-order definability, Logic (math.LO), first-order denability
secondary: 14P10, [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], Mathematics - Logic, 03C64, 14P10, 2000 MSC: primary: 03C64, 510, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], o-minimal structures, [MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG], FOS: Mathematics, [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [MATH]Mathematics [math], first-order definability, Logic (math.LO), first-order denability
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
