• Corpus ID: 226227315

Approximate Isomorphism of Metric Structures

  title={Approximate Isomorphism of Metric Structures},
  author={James Hanson},
  journal={arXiv: Logic},
  • James Hanson
  • Published 1 November 2020
  • Mathematics
  • arXiv: Logic
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… 



Metric Scott analysis


We give a general framework for the treatment of perturbations of types and structures in continuous logic, allowing to specify which parts of the logic may be perturbed. We prove that separable,

Continuous first order logic for unbounded metric structures

We present an adaptation of continuous first order logic to unbounded metric structures. This has the advantage of being closer in spirit to C. Ward Henson's logic for Banach space structures than

Omitting types in operator systems

We show that the class of 1-exact operator systems is not uniformly definable by a sequence of types. We use this fact to show that there is no finitary version of Arveson's extension theorem. Next,

Model Theory with Applications to Algebra and Analysis: Model theory for metric structures

A metric structure is a many-sorted structure with each sort a metric space, which for convenience is assumed to have finite diameter. Additionally there are functions (of several variables) between

Complexity of distances between metric and Banach spaces

We investigate the complexity and reducibility between analytic pseudometrics coming from functional analysis and metric geometry, such as Gromov-Hausdorff, Kadets, and Banach-Mazur distances. This

Stable models and reflexive banach spaces

  • J. Iovino
  • Mathematics
    Journal of Symbolic Logic
  • 1999
The purpose of this paper is to point out a rather striking analogy between classification programs in two fields of mathematics which one does not normally regard as being closely related: model theory and Banach space theory.

The linear isometry group of the Gurarij space is universal

We give a construction of the Gurarij space, analogous to Katetov's construction of the Urysohn space. The adaptation of Katetov's technique uses a generalisation of the Arens-Eells enveloping space

Model theory of R-trees

The theory of pointed $\R$-trees with radius at most $r$ is axiomatizable in a suitable continuous signature and it is shown that the space of $2$-types over the empty set is nonseparable.


We study model theoretical stability for Banach spaces and structures based on Banach spaces, e.g., Banach lattices or C∗-algebras. We prove that a theory is stable if and only if the following