Related papers: Tameness in generalized metric structures

The concept of quasi-partial b-metric-like spaces is being introduced and studied with the help of topology. Examples are also discussed to support the results. Some fixed point theorems are proved in the setting of quasi-partial…

We introduce a generalization of sequential compactness using barriers on $\omega$ extending naturally the notion introduced in [W. Kubi\'{s} and P. Szeptycki, On a topological Ramsey theorem, \emph{Canad. Math. Bull.}, 66 (2023),…

We present a general theory of absolutely continuous paths with values in metric spaces using the notion of metric derivatives. Among other results, we prove analogues of the Banach-Zarecki and Vallee Poussin theorems.

We study point sets arising from cut-and-project constructions. An important class is weak model sets, which include squarefree numbers and visible lattice points. For such model sets, we give a non-trivial upper bound on their pattern…

We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…

Some concepts, such as non-compactness measure and condensing operators, defined on metric spaces are extended to uniform spaces. Such extensions allow us to locate, in the context of uniform spaces, some classical results existing in…

In this paper, we study a class of Finsler metrics called general (\alpha,\beta)-metrics, which are defined by a Riemannian metric and an 1-form. We construct some general (\alpha,\beta)-metrics with constant Ricci curvature.

The conventional definition of a topological metric over a space specifies properties that must be obeyed by any measure of "how separated" two points in that space are. Here it is shown how to extend that definition, and in particular the…

A generalization of the triangle inequality is introduced by a mapping similar to a t-conorm mapping. This generalization leads us to a notion for which we use the $\star$-metric terminology. We are interested in the topological space…

We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…

We prove generalized versions of the Variance Inequality known for barycenters in CAT(0) spaces, inspired by an analogous result for $p$-uniformly convex Banach spaces. Our generalizations apply to balls of sufficiently small radius in…

We introduce and develop the theory of metric sheaves. A metric sheaf $\A$ is defined on a topological space $X$ such that each fiber is a metric model. We describe the construction of the generic model as the quotient space of the sheaf…

In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the…

In this paper the notion of modular cone metric space is introduced and some properties of such spaces are investigated. Also we define convex modular cone metric which takes values in CR(Y) where Y is a compact Hausdorff space. Then a…

In a recent work of Matteo Mio on compact quantitative equational theories (here compact means that all its consequences are derivable by means of finite proofs) convex algebras on the carrier set [0,1] whose operations are monotone and…

The twistor construction for Riemannian manifolds is extended to the case of manifolds endowed with generalized metrics (in the sense of generalized geometry \`a la Hitchin). The generalized twistor space associated to such a manifold is…

We consider general structures where formulas have truth values in the real unit interval as in continuous model theory, but whose predicates and functions need not be uniformly continuous with respect to a distance predicate. Every general…

We give a syntactic characterization of abstract elementary classes (AECs) closed under intersections using a new logic with a quantifier for isomorphism types that we call structural logic: we prove that AECs with intersections correspond…

In this article, we propose a general theory of integration of the Riemann and Lebesgue types with respect to arbitrary measures and functions, connected by a continuous bilinear product, with values in abstract vector spaces endowed with a…

While there exists a well-developed asymptotic theory of Fr\'echet means of random variables taking values in a general "finite-dimensional" metric space, there are only a few known results in which the random variables can take values in…