Related papers: On local definability of holomorphic functions
We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…
We study in detail the one-variable local theory of functions holomorphic over a finite-dimensional commutative associative unital $\mathbb{C}$-algebra $\mathcal{A}$, showing that it shares a multitude of features with the classical…
We define a free holomorphic function to be a function that is locally a bounded nc-function. We prove that free holomorphic functions are the functions that are locally uniformly approximable by free polynomials. We prove a realization…
In "On o-minimal homotopy groups", o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally…
Similarly to the global case, the local structure of a holomorphic subvariety at a given point is described by its local irreducible decomposition. Following the paradigm of numerical algebraic geometry, an algebraic subvariety at a point…
We prove that some holomorphic continuations of functions in the classes $\mathbf{an}^*$ and $\mathcal{G}$ are definable in the o-minimal structures $\mathbb{R}_{\mathrm{an}^*}$ and $\mathbb{R}_{\mathcal{G}}$ respectively. More…
We study definably complete locally o-minimal expansions of ordered groups in this paper. A definable continuous function defined on a closed, bounded and definable set behave like a continuous function on a compact set. We demonstrate…
We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…
We introduce a local multifractal formalism adapted to functions, measures or distributions which display multifractal characteristics that can change with time, or location. We develop this formalism in a general framework and we work out…
We introduce a notion of locally approximable continuous CR functions on locally closed subsets of reduced complex spaces, generalizing both holomorphic functions and CR functions on CR submanifolds. Under additional assumptions of…
We study definably compact definably connected groups definable in a sufficiently saturated real closed field $R$. We introduce the notion of group-generic point for $\bigvee$-definable groups and show the existence of group-generic points…
In an influential $L^2$ extension theorem due to Demailly, the finiteness of an $L^2$ norm called the Ohsawa norm determines whether a given holomorphic function can be extended. This result has been further generalized by Zhou and Zhu to…
Let $R$ be a real closed field and $K:=R(i)$ its algebraic closure. Let $U\subset K^n$ be an open and definable set in a fixed o-minimal structure. In this note, we study the relationship between definability of a $K$-holomorphic function…
computable functions are defined by abstract finite deterministic algorithms on many-sorted algebras. We show that there exist finite universal algebraic specifications that specify uniquely (up to isomorphism) (i) all abstract computable…
We consider spaces for which there is a notion of harmonicity for complex valued functions defined on them. For instance, this is the case of Riemannian manifolds on one hand, and (metric) graphs on the other hand. We observe that it is…
The Euler characteristic, thought of as a function that assigns a numerical value to every finite simplicial complex, is locally determined in both a combinatorial sense and a geometric sense. In this note we show that not every function…
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…
A new notion of metric differentiability of set-valued functions at a point is introduced in terms of right and left limits of special set-valued metric divided differences of first order. A local metric linear approximant of a metrically…
The paper proposes a vector generalization of the basic concepts of the theory of complex variable: the concept of modulus and argument of complex number. The author introduces some generalizations of the notion of holomorphic functions and…
Several machine learning models are defined for inputs of any size, such as graphs with different numbers of nodes and point clouds containing varying numbers of points. The universality properties of such any-dimensional models remain…