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
Continuous first order logic for unbounded metric structures
  • 11
  • PDF
Omitting types in operator systems
  • 9
  • PDF
Complexity of distances between metric and Banach spaces
  • 2
Stable Models and Reflexive Banach Spaces
  • J. Iovino
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1999
  • 11
  • PDF
The linear isometry group of the Gurarij space is universal
  • 26
  • PDF
Lipschitz functions on topometric spaces
  • 4
...
1
2
...