Related papers: Metric Scott analysis
This is the second of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several approaches to vector calculus in the non-smooth setting of complete and separable metric spaces…
The purpose of this article is to demonstrate the connection between the properties of the Gromov--Hausdorff distance and the Borsuk conjecture. The Borsuk number of a given bounded metric space $X$ is the infimum of cardinal numbers $n$…
Employing a construction of Tsirelson-like spaces due to Argyros and Deliyanni, we show that the class of all Banach spaces which are isomorphic to a subspace of $c_{0}$ is a complete analytic set with respect to the Effros Borel structure…
The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss…
We develop a new duality between endomorphisms of measure spaces, on the one hand, and a certain family of positive operators, called transfer operators, acting in spaces of measurable functions on, on the other. A framework of standard…
In this paper, we extend the Banach contraction principle to metric-like as well as partial metric spaces (not essentially complete) equipped with an arbitrary binary relation. Thereafter, we derive some fixed point results which are…
A variation of the Scott analysis of countable structures is applied to actions of non-Archimedean TSI Polish groups acting continuously on a Polish spaces. We give results on the potential Borel complexity spectrum of such groups, and…
We show that the class of all Banach spaces which are isomorphic to $ c_{0} $ is a complete analytic set with respect to the Effros Borel structure of separable Banach spaces. The proof employs a recent Bourgain-Delbaen construction by…
In algorithms for finite metric spaces, it is common to assume that the distance between two points can be computed in constant time, and complexity bounds are expressed only in terms of the number of points of the metric space. We…
We prove some results on the Wadge order on the space of sets of natural numbers endowed with Scott topology, and more generally, on omega-continuous domains. Using alternating decreasing chains we characterize the property of Wadge…
We develop general machinery to cast the class of potential canonical Scott sentences of an infinitary sentence $\Phi$ as a class of structures in a related language. From this, we show that $\Phi$ has a Borel complete expansion if and only…
The paper is concerned with the problem whether a nonseparable Banach space must contain an uncountable set of vectors such that the distances between every two distinct vectors of the set are the same. Such sets are called equilateral. We…
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…
Distances between sets arise naturally when modeling stochastic dependence on collections of spatial supports, including settings with point-referenced and areal observations. However, commonly used constructions of distances on sets,…
Given a countable mathematical structure, its Scott sentence is a sentence of the infinitary logic $\mathcal{L}_{\omega_1 \omega}$ that characterizes it among all countable structures. We can measure the complexity of a structure by the…
In this paper we introduce several quantitative methods for the lambda-calculus based on partial metrics, a well-studied variant of standard metric spaces that have been used to metrize non-Hausdorff topologies, like those arising from…
In this paper, we first evaluate topological distributions of the sets of all doubling spaces, all uniformly disconnected spaces, and all uniformly perfect spaces in the space of all isometry classes of compact metric spaces equipped with…
In this paper we prove an isoperimetric inequality of euclidean type for complete metric spaces admitting a cone-type inequality. These include all Banach spaces and all complete, simply-connected metric spaces of non-positive curvature in…
For a compact metric space $(K, \rho)$, the predual of $Lip(K, \rho)$ can be identified with the normed space $M(K)$ of finite (signed) Borel measures on $K$ equipped with the Kantorovich-Rubinstein norm, this is due to Kantorovich [20].…
In this paper we study the relationships between a reproducing kernel Hilbert space, its multiplier algebra, and the geometry of the point set on which they live. We introduce a variant of the Banach-Mazur distance suited for measuring the…