Related papers: $K$-holomorphic functions with definable real part

We consider a global semianalytic set defined by real analytic functions definable in an o-minimal structure. When the o-minimal structure is polynomially bounded, we show that the closure of this set is a global semianalytic set defined by…

We work over an o-minimal expansion of a real closed field R. Given a closed simplicial complex K and a finite number of definable subsets of its realization |K| in R we prove that there exists a triangulation (K',f) of |K| compatible with…

Given an o-minimal structure expanding the field of reals, we show a piecewise Weierstrass preparation theorem and a piecewise Weierstrass division theorem for definable holomorphic functions. In the semialgebraic setting and for the…

Let $(K,\nu)$ be a real closed valued field, and let $S\subseteq K^n$ be a definable open semi-algebraic set. We find an algebraic characterization of rational functions which are OVF-integral on $S$. We apply the existing model theoretic…

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 establish a general result on the existence of partially defined semiconjugacies between rational functions acting on the Riemann sphere. The semiconjugacies are defined on the complements to at most one-dimensional sets. They are…

We introduce the notion of $R$-analytic functions. These are definable in an o-minimal expansion of a real closed field $R$ and are locally the restriction of a $K$-differentiable function (defined by Peterzil and Starchenko) where…

Let K be an expansion of either an ordered field or a valued field. Given a definable set X $\subseteq$ K^m let C(X) be the ring of continuous definable functions from X to K. Under very mild assumptions on the geometry of X and…

In this article, various results will be demonstrated that enable the delimitation of a zero-free region for holomorphic functions on a set $K$, studying the behavior of their imaginary or real part on the boundary of $K$. These findings…

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…

Let $K$ be a compact subset of $\bar{\bold C} ={\bold R}^2$ and let $K^c$ denote its complement. We say $K\in HR$, $K$ is holomorphically removable, if whenever $F:\bar{\bold C} \to\bar{\bold C}$ is a homeomorphism and $F$ is holomorphic…

Let $F$ be a finitely generated regular field extension of transcendence degree $\geq 2$ over a perfect field $k$. We show that the multiplicative group $F^\times/k^\times$ endowed with the equivalence relation induced by algebraic…

We prove that the function field of an algebraic variety of dimension greater than 1 over an algebraically closed field of characteristic zero is determined by its first and second Milnor K-groups.

In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal…

Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…

Given an uncountable algebraically closed field $K$, we proved that if partially defined function $f\colon K \times \dots \times K \dashrightarrow K$ defined on a Zariski open subset of the $n$-fold Cartesian product $K \times \dots \times…

For a subfield K of C, we denote by C^K the category of algebras of functions defined on the globally subanalytic sets that are generated by all K-powers and logarithms of positively-valued globally subanalytic functions. For any function f…

A compact subset $K$ of the complex plane $\C$ is a set of polynomial (respectively rational) approximation if $P(K)=A(K)$ (respectively $R(K)=A(K)$), where $P(K)$ (respectively $R(K)$) is the family of functions on $K$ which are uniform…

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F. We show that the behavior of this group, even when A is large, depends essentially on the roots of unity in F. For almost all…