Metric Scott analysis

DOI10.1016/J.AIM.2017.07.021MaRDI QIDQ2401685zbMATH OpenOpenAlexFDO

Authors Itaï Ben Yaacov, Michal Doucha, André Nies, Todor Tsankov

Publication date 4 September 2017

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

Borel equivalence relationscontinuous logicGromov-Hausdorff distanceinfinitary logicLópez-Escobar theoremScott sentence

Mathematics Subject Classification ID

Other infinitary logic (03C75) Descriptive set theory (03E15)

Abstract: We develop an analogue of the classical Scott analysis for metric structures and infinitary continuous logic. Among our results are the existence of Scott sentences for metric structures and a version of the Lopez-Escobar theorem. We also derive some descriptive set theoretic consequences: most notably, that isomorphism on a class of separable structures is a Borel equivalence relation iff their Scott rank is uniformly bounded below $omeg{a}_1$. Finally, we apply our methods to study the Gromov-Hausdorff distance between metric spaces and the Kadets distance between Banach spaces, showing that the set of spaces with distance $0$ to a fixed space is a Borel set.

Review text

The article under review brings the Scott analysis from classical logic into the setting of continuous logic. It is proven that Scott sentences for separable structures exist and a classical result of \textit{S. Gao} [J. Symb. Log. 63, No. 3, 891--896 (1998; Zbl 0922.03045)] characterizing those Scott sentences with only countable models is extended to the continuous setting (with countable replaced by separable). A continuous version of the Lopez-Escobar theorem [\textit{E. G. K. Lopez-Escobar}, Fundam. Math. 57, 253--272 (1965; Zbl 0137.00701)] is also obtained. The approach here involves a notion called weak modulus. When one uses the so-called universal weak modulus, one obtains a Scott analysis that describes isomorphism. In this way, the authors prove a continuous analog of the fact that isomorphism is Borel precisely when the Scott ranks are bounded below \(\omega_1\). If, instead, one uses the 1-Lipshitz modulus, then the Scott analysis specializes to familiar distances in analysis, such as Gromov-Hausdorff distance for metric spaces and Kadets distances for Banach spaces. As a result, the authors prove that the set of Polish metric spaces at Gromov-Hausdorff distance \(0\) from a particular Polish metric space is Borel.

Recommendations

• scientific article; zbMATH DE number 2099196
• Metric Dichotomies
• The Effros metric
• Dimensional and scaling analysis
• A class of metric scaling models
• Non-metric statistical analyses: Some metric alternatives
• Scott approach distance on metric spaces
• Scott analysis of pseudotypes
• scientific article; zbMATH DE number 2201573

Cites work

• A note on Hjorth's oscillation theorem
• An interpolation theorem for denumerably long formulas
• Borel equivalence relations and classifications of countable models
• Borel equivalence relations induced by actions of the symmetric group
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 918597 (Why is no real title available?)
• scientific article; zbMATH DE number 1388189 (Why is no real title available?)
• scientific article; zbMATH DE number 3266609 (Why is no real title available?)
• Invariant descriptive set theory
• Invariant sets in topology and logic
• Lipschitz functions on topometric spaces
• Local compactness for computable Polish metric spaces is ^1_1-complete
• Metric structures for Riemannian and non-Riemannian spaces. Transl. from the French by Sean Michael Bates. With appendices by M. Katz, P. Pansu, and S. Semmes. Edited by J. LaFontaine and P. Pansu
• Model theoretic forcing in analysis
• Model theory for metric structures
• Model theory of operator algebras. II: Model theory
• Omitting types for infinitary \([0,1]\)-valued logic
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• On automorphism groups of countable structures
• On subgroups of minimal topological groups
• On the classification of Polish metric spaces up to isometry
• Perturbations of isometries between C(K)-spaces
• Scott rank of Polish metric spaces
• The complexity of the homeomorphism relation between compact metric spaces
• The isomorphism relation for separable \(C^\ast\)-algebras
• The linear isometry group of the Gurarij space is universal
• Topometric spaces and perturbations of metric structures

Cited in

(22)

• Transfinite sequences of topologies, descriptive complexity, and approximating equivalence relations
• Games and Scott sentences for positive distances between metric structures
• Complexity of distances: reductions of distances between metric and Banach spaces
• Encoding complete metric structures by classical structures
• The Keisler order in continuous logic
• Approximate isomorphism of randomization pairs
• Scott analysis of pseudotypes
• Model theory of \(C^*\)-algebras
• Omitting types in logic of metric structures
• Bounds on Scott ranks of some polish metric spaces
• An introduction to the Scott complexity of countable structures and a survey of recent results
• Polish spaces of Banach spaces
• Polish G-spaces and continuous logic
• Bounds on continuous Scott rank
• Expressive power of infinitary \([0,1]\)-logics
• Complexity of distances: Theory of generalized analytic equivalence relations
• Approximate isomorphism of metric structures
• CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS
• The amalgamation property and Urysohn structures in continuous logic
• Approximate categoricity in continuous logic
• Orbit pseudometrics and a universality property of the Gromov-Hausdorff distance
• Guarded Fraïssé Banach spaces

This page was built for publication: Metric Scott analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401685)