Related papers: On definable Skolem functions in weakly o-minimal …

We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…

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 prove boundedness and regularity estimates for weak solutions to a class of linear nonlocal equations involving integro-differential operators with almost no order of differentiability. In particular, we show that bounded weak solutions…

We show that the class of $\mathcal{L}$-constructible functions is closed under integration for any $P$-minimal expansion of a $p$-adic field $(K,\mathcal{L})$. This generalizes results previously known for semi-algebraic and sub-analytic…

We prove that if a separable II$_1$ factor $M$ is existentially closed, then every $M$-bimodule is weakly contained in the trivial $M$-bimodule, $\text{L}^2(M)$, and, equivalently, every normal completely positive map on $M$ is a pointwise…

We introduce a non real-valued measure on the definable sets contained in the finite part of a cartesian power of an o-minimal field $R$. The measure takes values in an ordered semiring, the Dedekind completion of a quotient of $R$. We show…

Definability is a key notion in the theory of Grothendieck fibrations that characterises when an external property of objects can be accessed from within the internal logic of the base of a fibration. In this paper we consider a…

Operator-valued $Q$-functions for special pairs of nonnegative selfadjoint extensions of nonnegative not necessarily densely defined operators are defined and their analytical properties are studied. It is shown that the Kre\u\i…

We show that an analogue of the Hilbert's Thirteenth Problem fails in the real subanalytic setting.Namely we prove that, for any integer $n$, the o-minimal structure generated by restricted analytic functions in $n$ variables is strictly…

We give a full description of the structure under inclusion of all finite level Borel classes of functions, and provide an elementary proof of the well-known fact that not every Borel function can be written as a countable union of…

We show that the values of a certain family of weakly holomorphic modular functions at points in the divisors of any meromorphic modular form with algebraic Fourier coefficients are algebraic. We use this to extend the classical result of…

A note connecting arguments scattered in the extant literature proving that, in any o-minimal expansion of the real field, a definable family of sets has the property that the set of parameters corresponding to finite-volume fibers is…

We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.

It is well known that the non-spiraling leaves of real analytic foliations of codimension 1 all belong to the same o-minimal structure. Naturally, the question arises if the same statement is true for non-oscillating trajectories of real…

A proper elementary extension of a model is called small if it realizes no new types over any finite set in the base model. We answer a question of Marker, and show that it is possible to have an o-minimal structure with a maximal small…

The intuitionistic implication and hence the notion of function space in constructive disciplines is both non-geometric and impredicative. In this paper we try to solve both of these problems by first introducing weak exponential objects as…

In this paper we prove that for any definable subset $X\subset \mathbb{R}^{n}$ in a polynomially bounded o-minimal structure, with $dim(X)<n$, there is a finite set of regular projections (in the sense of Mostowski ). We give also a weak…

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…

Let $\widetilde{\mathcal M}=\langle \mathcal M, P\rangle$ be an expansion of an o-minimal structure $\mathcal M$ by a dense set $P\subseteq M$, such that three tameness conditions hold. We prove that the induced structure on $P$ by…

We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…