Metric Scott analysis
From MaRDI portal
Publication:2401685
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
Gromov-Hausdorff distanceBorel equivalence relationsinfinitary logiccontinuous logicScott sentenceLópez-Escobar theorem
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