Approximate isomorphism of metric structures
From MaRDI portal
Abstract: We give a formalism for approximate isomorphism in continuous logic simultaneously generalizing those of two papers by Ben Yaacov and by Ben Yaacov, Doucha, Nies, and Tsankov, which are largely incompatible. With this we explicitly exhibit Scott sentences for the perturbation systems of the former paper, such as the Banach-Mazur distance and the Lipschitz distance between metric spaces. Our formalism is simultaneously characterized syntactically by a mild generalization of perturbation systems and semantically by certain elementary classes of two-sorted structures that witness approximate isomorphism. As an application, we show that the theory of any -tree or ultrametric space of finite radius is stable, improving a result of Carlisle and Henson.
Cites work
- A course in metric geometry
- Complexity of distances: Theory of generalized analytic equivalence relations
- Continuous first order logic for unbounded metric structures
- scientific article; zbMATH DE number 1302493 (Why is no real title available?)
- Lipschitz functions on topometric spaces
- Metric Scott analysis
- Metric spaces are universal for bi-interpretation with metric structures
- Model theory for metric structures
- Model theory of \(\mathbb{R}\)-trees
- Note on the gap between subspaces
- Omitting types in operator systems
- On perturbations of continuous structures
- The linear isometry group of the Gurarij space is universal
Cited in
(4)
This page was built for publication: Approximate isomorphism of metric structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6140756)
