Related papers: Directional properties of sets definable in o-mini…

Federer's characterization of sets of finite perimeter states (in Euclidean spaces) that a set is of finite perimeter if and only if the measure-theoretic boundary of the set has finite Hausdorff measure of codimension one. In complete…

In this paper, we establish a theorem on extension of Lipschitz maps $f$ definable in Hensel minimal fields $K$. This may be regarded as a definable, non-Archimedean, non-locally compact version of Kirszbraun's extension theorem. We proceed…

We prove the equivalence of two seemingly very different ways of generalising Rademacher's theorem to metric measure spaces. One such generalisation is based upon the notion of forming partial derivatives along a very rich structure of…

In a previous paper we have introduced the notion of geometric directional bundle of a singular space, in order to introduce global bi-Lipschitz invariants. Then we have posed the question of whether or not the geometric directional bundle…

Fix a language L extending the language of real closed fields by at least one new predicate or function symbol. Call an L-structure R pseudo-o-minimal if it is (elementarily equivalent to) an ultraproduct of o-minimal structures. We show…

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…

Peterzil and Starchenko have proved the following surprising generalization of Chow's theorem: A closed analytic subset of a complex algebraic variety that is definable in an o-minimal structure, is in fact an algebraic subset. In this…

We prove that if an n-dimensional geodesically complete CAT(0) space has Tits boundary sufficiently close to the (n-1)-dimensional standard unit sphere, then it is bi-Lipschiz homeomorphic to the n-dimensional Euclidean space. As an…

A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved…

We examine dynamical systems with the property that pseudo-orbits can be traced by small diameter sets with bounded cardinality. In particular, we show that mixing sofic subshifts and surjective dynamical systems with the specification…

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…

By expressing the geometric realization of simplicial sets and cyclic sets as filtered colimits, Drinfeld (arXiv:math/0304064v3) proved in a substantially simplified way the fundamental facts that geometric realization preserves finite…

In this paper higher order mimetic discretizations are introduced which are firmly rooted in the geometry in which the variables are defined. The paper shows how basic constructs in differential geometry have a discrete counterpart in…

We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…

We prove that any definable family of subsets of a definable infinite set $A$ in an o-minimal structure has cardinality at most $|A|$. We derive some consequences in terms of counting definable types and existence of definable topological…

The main result states that a connected conic singular sub-manifold of a Riemannian manifold, compact when the ambient manifold is non-Euclidean, is Lipschitz Normally Embedded: the outer and inner metric space structures are metrically…

We extend the theory of complex cells introduced by Binyamini and Novikov to the sharply o-minimal setting, obtaining cellular preparation and parameterization theorems which are polynomially effective in the degrees of the relevant sets.…

We characterize Young measures generated by gradients of bi-Lipschitz orientation-preserving maps in the plane. This question is motivated by variational problems in nonlinear elasticity where the orientation preservation and injectivity of…

In this note we extend connectedness results to formal properties of inverse images under proper maps of Schubert varieties and of the diagonal in products of projective rational homogeneous spaces

In Euclidean space of dimension 2 or 3, we study a minimum time problem associated with a system of real-analytic vector fields satisfying H\"ormander's bracket generating condition, where the target is a nonempty closed set. We show that,…