Metric Scott analysis

DOI10.1016/j.aim.2017.07.021zbMath1390.03039arXiv1407.7102OpenAlexW2964213221MaRDI QIDQ2401685

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

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

Gromov-Hausdorff distanceBorel equivalence relationsinfinitary logiccontinuous logicScott sentenceLópez-Escobar theorem

Mathematics Subject Classification ID

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

Related Items

Complexity of distances: Theory of generalized analytic equivalence relations ⋮ Games and Scott sentences for positive distances between metric structures ⋮ Complexity of distances: reductions of distances between metric and Banach spaces ⋮ AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS ⋮ Omitting types in logic of metric structures ⋮ Polish spaces of Banach spaces ⋮ The Keisler order in continuous logic ⋮ Approximate isomorphism of metric structures ⋮ CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS ⋮ Bounds on continuous Scott rank ⋮ Approximate isomorphism of randomization pairs ⋮ Polish \(G\)-spaces and continuous logic ⋮ Transfinite sequences of topologies, descriptive complexity, and approximating equivalence relations ⋮ Model theory of 𝐶*-algebras ⋮ Bounds on Scott ranks of some polish metric spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Omitting types for infinitary \([0,1\)-valued logic]
• Model theory of operator algebras. II: Model theory
• Scott rank of Polish metric spaces
• On subgroups of minimal topological groups
• Model theoretic forcing in analysis
• Topometric spaces and perturbations of metric structures
• Borel equivalence relations induced by actions of the symmetric group
• Omitting uncountable types and the strength of \([0,1\)-valued logics]
• The isomorphism relation for separable \(C^\ast\)-algebras
• The complexity of the homeomorphism relation between compact metric spaces
• Lipschitz functions on topometric spaces
• The conjugacy problem for automorphism groups of countable homogeneous structures
• A Note on Hjorth's oscillation theorem
• Local Compactness for Computable Polish Metric Spaces is $$\varPi ^1_1$$-complete
• Invariant sets in topology and logic
• On automorphism groups of countable structures
• On the classification of Polish metric spaces up to isometry
• Perturbations of isometries between C(K)-spaces
• The linear isometry group of the Gurarij space is universal
• An interpolation theorem for denumerably long formulas
• 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
• Borel equivalence relations and classifications of countable models