Related papers: Definability of complex functions in o-minimal str…

We describe the strong dual space $({\mathcal O}^s (D))^*$ for the space ${\mathcal O}^s (D) = H^s (D) \cap {\mathcal O} (D)$ of holomorphic functions from the Sobolev space $H^s(D)$, $s \in \mathbb Z$, over a bounded simply connected plane…

Let $\Omega$ be a complex lattice which does not have complex multiplication and $\wp=\wp_\Omega$ the Weierstrass $\wp$-function associated to it. Let $D\subseteq\mathbb{C}$ be a disc and $I\subseteq\mathbb{R}$ be a bounded closed interval…

We introduce the class of \emph{Log-Noetherian} (LN) functions. These are holomorphic solutions to algebraic differential equations (in several variables) with logarithmic singularities. We prove an upper bound on the number of solutions…

We show that fine domains in $\mathbf{C}$ with the property that they are Euclidean $F_\sigma$ and $G_\delta$, are in fact fine domains of existence for finely holomorphic functions. Moreover \emph{regular} fine domains are also fine…

We give a simple and more elementary proof that the notions of Domain of Holomorphy and Weak Domain of Holomorphy are equivalent. This proof is based on a combination of Baire's Category Theorem and Montel's Theorem. We also obtain…

We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space $\left(X,\tau\right)$ is definably homeomorphic to an affine definable space…

Let G be a complex Lie group, G_R a real form of G and X a G_R-stable domain of holomorphy in a complex G-manifold. If there is a G_R-invariant strictly plurisubharmonic function on X which has certain exhaustion properties, then we show…

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…

We give two results on the Lerch zeta function $\Phi(z,\,s,\,w)$. The first is to give an explicit expression providing both the analytic continuation of $\Phi$ in $n$-variables $(n \in \{1,\,2,\,3\})$ to maximal domains of holomorphy in…

Suppose $Y$ is a regular covering of a graph $X$ with covering transformation group $\pi = \mathbb{Z}$. This paper gives an explicit formula for the $L^2$ zeta function of $Y$ and computes examples. When $\pi = \mathbb{Z}$, the $L^2$ zeta…

We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in…

In this paper we study the relation between the category of real Lie groups and that of groups definable in o-minimal expansions of the real field, which we will refer to as ``definable groups''. With this terminology, it is known…

Let $G$ be a unipotent group and $\mathcal F=\{F_t:t\in (0,\infty)\}$ a family of subsets of $G$, with $\mathcal F$ definable in an o-minimal expansion of the real field. Given a lattice $\Gamma\subseteq G$, we study the possible Hausdorff…

We study zeta functions enumerating submodules invariant under a given endomorphism of a finitely generated module over the ring of ($S$-)integers of a number field. In particular, we compute explicit formulae involving Dedekind zeta…

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

We show that the classical kernel and domain functions associated to an n-connected domain in the plane are all given by rational combinations of three or fewer holomorphic functions of one complex variable. We characterize those domains…

It is shown that the extension of $\R$ by a generic smooth function restricted to the unit cube is o-minimal. The generalization to countably many generic smooth functions is indicated. Possible applications are sketched.

We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) about groups definable in o-minimal structures. All results are well-known and an extensive…

With view to applications, we establish a correspondence between two problems: (i) the problem of finding continuous positive definite extensions of functions $F$ which are defined on open bounded domains $\Omega$ in $\mathbb{R}$, on the…

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…