Distance structures for generalized metric spaces

DOI10.1016/J.APAL.2016.10.002MaRDI QIDQ730089zbMATH OpenOpenAlexFDO

Authors Gabriel Conant

Publication date 23 December 2016

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

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

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)

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}^{\ast }$ 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}^{\ast }$-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}^{\ast }$, 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.

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

Cites work

• scientific article; zbMATH DE number 4046655 (Why is no real title available?)
• scientific article; zbMATH DE number 3658665 (Why is no real title available?)
• scientific article; zbMATH DE number 40985 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 194100 (Why is no real title available?)
• scientific article; zbMATH DE number 3434730 (Why is no real title available?)
• Distance sets of Urysohn metric spaces
• Divisibility of countable metric spaces
• Elements of finite order in automorphism groups of homogeneous structures.
• Extending partial isometries
• Model Theory
• Model theoretic properties of the Urysohn sphere
• Model theory for metric structures
• Neostability in countable homogeneous metric spaces
• On the isometry group of the Urysohn space
• Oscillation of Urysohn type spaces
• Partially Ordered Sets
• Polish ultrametric Urysohn spaces and their isometry groups
• Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces and dynamics of their isometry groups
• Random orderings and unique ergodicity of automorphism groups
• Some geometric and dynamical properties of the Urysohn space
• Structural Ramsey theory of metric spaces and topological dynamics of isometry groups
• The free roots of the complete graph
• The isometry group of the bounded Urysohn space is simple
• Totally ordered commutative semigroups
• Valuations, trees, and degenerations of hyperbolic structures. I
• Vertex partitions of metric spaces with finite distance sets

Cited in

(6)

• Dense locally finite subgroups of automorphism groups of ultraextensive spaces
• Neostability in countable homogeneous metric spaces
• An embedding, an extension, and an interpolation of ultrametrics
• Existence theorems for generalized distance on complete metric spaces
• Distance between metric measure spaces and distance matrix distributions
• 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)