Related papers: Inner Lipschitz approximation in o-minimal structu…

In this paper, we study definably compact semigroups in o-minimal structures, aiming to extend the theory of definable groups to a broader algebraic setting. We show that any definably compact semigroup contains idempotents and admits a…

We give an example of a dense o-minimal structure in which there is a definable quotient that cannot be eliminated, even after naming parameters. Equivalently, there is an interpretable set which cannot be put in parametrically definable…

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 set up a descriptive set-theoretic framework to study Lipschitz-free spaces and use the reduction argument of Bossard to prove several results. We prove two universality results: if a separable Banach space is isomorphically universal…

The first papers on o-minimal structures appeared in the mid 1980s, since then the subject has grown into a wide ranging generalisation of semialgebraic, subanalytic and subpfaffian geometry. In these notes we try to show that this is in…

Basic aspects of differential geometry can be extended to various non-classical settings: Lipschitz manifolds, rectifiable sets, sub-Riemannian manifolds, Banach manifolds, Weiner space, etc. Although the constructions differ, in each of…

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

Let $M$ be a separable metric space. We say that $f=(f_n):M\to c_0$ is a good-$\lambda$-embedding if, whenever $x,y\in M$, $x\ne y$ implies $d(x,y)\le\Vert f(x)-f(y)\Vert$ and, for each $n$, $Lip(f_n)<\lambda$, where $Lip(f_n)$ denotes the…

We prove that groups definable in o-minimal structures have Cartan subgroups, and only finitely many conjugacy classes of such subgroups. We also delineate with precision how these subgroups cover the ambient group, in general very largely…

This paper investigates almost o-minimal structures, a weakening of o-minimality introduced by Fujita to capture structures that lie outside the classical o-minimal framework. In contrast to o-minimality and local o-minimality, almost…

We establish the first global results for groups definable in tame expansions of o-minimal structures. Let $\mathcal N$ be an expansion of an o-minimal structure $\mathcal M$ that admits a good dimension theory. The setting includes dense…

We show that the Kuratowski imbedding of a Riemannian manifold in L^\infty, exploited in Gromov's proof of the systolic inequality for essential manifolds, admits an approximation by a (1+C)-bi-Lipschitz (onto its image), finite-dimensional…

We prove that each sub-Riemannian manifold can be embedded in some Euclidean space preserving the length of all the curves in the manifold. The result is an extension of Nash $C^1$ Embedding Theorem. For more general metric spaces the same…

An ordered structure is called o-minimalistic if it has all the first-order features of an o-minimal structure. We propose a theory, DCTC (Definable Completeness/Type Completeness), that describes many properties of o-minimalistic…

In a former paper the first and third authors introduced the notion of direction set for a subset of R^n, and showed that the dimension of the common direction set of two subanalytic subsets, called directional dimension, is preserved by a…

This paper deals with the study of parameter dependence of extensions of Lipschitz mappings from the point of view of continuity. We show that if assuming appropriate curvature bounds for the spaces, the multivalued extension operators that…

It is known that a subharmonic function of finite order $\rho$ can be approximated by the logarithm of the modulus of an entire function at the point $z$ outside an exceptional set up to $C\log|z|$. In this article we prove that if such an…

In continuous logic, there are plenty of examples of interesting stable metric structures. However, on the other side of the SOP line, there are only a few metric structures where order is relevant, and orders often appear in different…

We show that certain families of sets in $\mathbb{R}^2$ (or $\mathbb{R}^n$) which are neither definable nor have bounded VC-dimension are nonetheless uniformly approximately definable in the real field, an o-minimal structure.

We study the quantitative properties of Lipschitz mappings from Euclidean spaces into metric spaces. We prove that it is always possible to decompose the domain of such a mapping into pieces on which the mapping "behaves like a projection…