Distance structures for generalized metric spaces

DOI10.1016/J.APAL.2016.10.002zbMATH Open1422.03063arXiv1502.05002OpenAlexW2963729967MaRDI QIDQ730089FDOQ730089

Gabriel Conant

Publication date: 23 December 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: Let $mathcalR=(R,oplus,leq,0)$ be an algebraic structure, where $oplus$ is a commutative binary operation with identity $0$, and $leq$ is a translation-invariant total order with least element $0$. Given a distinguished subset $SsubseteqR$, we define the natural notion of a "generalized" $mathcalR$-metric space, with distances in $S$. We study such metric spaces as first-order structures in a relational language consisting of a distance inequality for each element of $S$. We first construct an ordered additive structure $mathcal{S}^{*}$ on the space of quantifier-free $2$-types consistent with the axioms of $mathcalR$-metric spaces with distances in $S$, and show that, if $A$ is an $mathcalR$-metric space with distances in $S$, then any model of $extTh(A)$ logically inherits a canonical $mathcal{S}^{*}$-metric. Our primary application of this framework concerns countable, universal, and homogeneous metric spaces, obtained as generalizations of the rational Urysohn space. We adapt previous work of Delhomm'{e}, Laflamme, Pouzet, and Sauer to fully characterize the existence of such spaces. We then fix a countable totally ordered commutative monoid $mathcalR$, with least element $0$, and consider $mathcal{U}_{m}athcalR$, the countable Urysohn space over $mathcalR$. We show that quantifier elimination for $extTh(mathcal{U}_{m}athcalR)$ is characterized by continuity of addition in $mathcal{R}^{*}$, which can be expressed as a first-order sentence of $mathcalR$ in the language of ordered monoids. Finally, we analyze an example of Casanovas and Wagner in this context.

Full work available at URL: https://arxiv.org/abs/1502.05002

Recommendations

• scientific article; zbMATH DE number 3884949
• Metric equations of a generalized abstract distance space
• scientific article; zbMATH DE number 510341
• scientific article; zbMATH DE number 510712
• Generalized distance and existence theorems in complete metric spaces
• Generalized metric spaces with algebraic structures
• Generalized metric spaces and maps
• scientific article; zbMATH DE number 1319027
• On a generalization of distance sets
• scientific article; zbMATH DE number 5076712

zbMATH Keywords

Urysohn spacequantifier eliminationfour-values condition

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Ordered semigroups and monoids (06F05) Model theory of denumerable and separable structures (03C15) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Valuations, trees, and degenerations of hyperbolic structures. I
• Structural Ramsey theory of metric spaces and topological dynamics of isometry groups
• Model Theory
• Model theory for metric structures
• Title not available (Why is that?)
• The free roots of the complete graph
• Oscillation of Urysohn Type Spaces
• Neostability in countable homogeneous metric spaces
• Totally ordered commutative semigroups
• Title not available (Why is that?)
• Some geometric and dynamical properties of the Urysohn space
• Random orderings and unique ergodicity of automorphism groups
• Partially Ordered Sets
• Extending partial isometries
• Title not available (Why is that?)
• Polish ultrametric Urysohn spaces and their isometry groups
• Divisibility of countable metric spaces
• The isometry group of the bounded Urysohn space is simple
• On the isometry group of the Urysohn space
• Model theoretic properties of the Urysohn sphere
• Vertex partitions of metric spaces with finite distance sets
• Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces and dynamics of their isometry groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Distance Sets of Urysohn Metric Spaces

Cited In (6)

• An embedding, an extension, and an interpolation of ultrametrics
• Distance between metric measure spaces and distance matrix distributions
• Dense locally finite subgroups of automorphism groups of ultraextensive spaces
• Neostability in countable homogeneous metric spaces
• Existence theorems for generalized distance on complete metric spaces
• Constructions of Urysohn universal ultrametric spaces

This page was built for publication: Distance structures for generalized metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q730089)