Corpus ID: 226227315

Approximate Isomorphism of Metric Structures

@article{Hanson2020ApproximateIO,
  title={Approximate Isomorphism of Metric Structures},
  author={James Hanson},
  journal={arXiv: Logic},
  year={2020}
}
We give a formalism for approximate isomorphism in continuous logic simultaneously generalizing those of two papers by Ben Yaacov and by Ben Yaacov, Berenstein, Henson, and Usvyatsov, 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… Expand
1 Citations
Approximate Categoricity in Continuous Logic
  • PDF

References

SHOWING 1-10 OF 14 REFERENCES
Metric Scott analysis
  • 21
  • Highly Influential
  • PDF
ON PERTURBATIONS OF CONTINUOUS STRUCTURES
  • 25
  • Highly Influential
  • PDF
Complexity of distances between metric and Banach spaces
  • 2
Omitting types in operator systems
  • 9
  • PDF
Lipschitz functions on topometric spaces
  • 5
The linear isometry group of the Gurarij space is universal
  • 26
  • PDF
Contributions to model theory of metric structures
  • 2
, André Nies , and Todor Tsankov . Metric Scott analysis
  • Ward Henson , and Alexander Usvyatsov . Model theory for metric structures , volume 2 of London Mathematical Society Lecture Note Series , pages 315 – 427
  • 2008
Continuous first order logic for unbounded metric structures
  • 12
  • PDF
...
1
2
...