Related papers: On definable multifunctions and {\L}ojasiewicz ine…

This paper is the next installment of our analysis of length-commensurable locally symmetric spaces begun in Publ. math. IHES 109(2009), 113-184. For a Riemannian manifold $M$, we let $L(M)$ be the weak length spectrum of $M$, i.e. the set…

We study two notions of definability for classes of relational structures based on modal extensions of {\L}ukasiewicz finitely valued-logics. The main results of the paper are the equivalent of the Goldblatt - Thomason theorem for these…

This article is devoted to the analysis of necessary and/or sufficient conditions for metric regularity in terms of Demyanov-Rubinov-Polyakova quasidifferentials. We obtain new necessary and sufficient conditions for the local metric…

In this article we derive a formula for the Hausdorff dimension of Besicovitch-Eggleston level sets associated with non-autonomous dynamics constructed from families of countable affine iterated function systems. The formula obtained shows…

By relating the number of images of a function with finite domain to a certain parameter, we obtain both an upper and lower bound for the image set. Even though the arguments are elementary, the bounds are, in some sense, best possible. The…

There is a way of assigning a realizability notion to each degree of incomputability. In our setting, we make use of Weihrauch degrees (degrees of incomputability/discontinuity of partial multi-valued functions) to obtain Lifschitz-like…

Multiparameter persistent homology has emerged as a powerful generalization of topological data analysis, capable of encoding multivariate filtrations. However, the algebraic complexity of multiparameter persistence modules, marked by wild…

The paper is concerned with the properties of the distance function from a closed subset of a Riemannian manifold, with particular attention to the set of singularities.

We give some estimates of the remainder terms for several conformally-invariant Sobolev-type inequalities on the Heisenberg group, in analogy with the Euclidean case. By considering the variation of associated functionals, we give a…

In this paper geometry of Gromov-Hausdorff distance on the class of all metric spaces considered up to an isometry is investigated. For this class continuous curves and their lengths are defined, and it is shown that the Gromov-Hausdorff…

A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…

In this paper, we discuss how a Gromov-Hausdorff-like distance function over the space of all isometric classes of compact $C^k$-Riemannian manifolds should be defined in the aspect of the Riemannan submanifold theory, where $k\geq 1$. The…

Via a functor from certain Lorentzian to Riemannian manifolds, we obtain a finiteness result.

In literature the Hermite-Hadamard inequality was eligible for many reasons, one of the most surprising and interesting that the Hermite-Hadamard inequality combine the midpoint and trapezoid formulae in an inequality. In this work, a…

The Jarn\'ik-Besicovitch theorem is a fundamental result in metric number theory which concerns the Hausdorff dimension for certain limsup sets. We discuss the analogous problem for liminf sets. Consider an infinite sequence of positive…

The purpose of this paper is to give exact value of the radius of starlikeness and distortion theorem, Koebe domain for the class of Janowski's starlike functions of complex order. We note that the class of Janowski's starlike functions of…

The set B of geodesic rays avoiding a suitable obstacle in a complete negatively curved Riemannian manifold determines a spectrum S. While various properties of this spectrum are known, we define and study dimension functions on S in terms…

It is well-known that the convergence of a family of smooth functions does not imply the convergence of its gradients. In this work, we show that if the family is definable in an o-minimal structure (for instance semialgebraic, subanalytic,…

A new directional derivative and a new subdifferential for set-valued convex functions are constructed, and a set-valued version of the so-called 'max-formula' is proven. The new concepts are used to characterize solutions of convex…

We analyze the reducibilities induced by, respectively, uniformly continuous, Lipschitz, and nonexpansive functions on arbitrary ultrametric Polish spaces, and determine whether under suitable set-theoretical assumptions the induced…