CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS
From MaRDI portal
(Redirected from Publication:6180614)
Abstract: We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially , then it is essentially countable. We also provide an equivalent model-theoretic condition that is easy to check in practice. This theorem is a common generalization of a result of Hjorth about pseudo-connected metric spaces and a result of Hjorth--Kechris about discrete structures. As a different application, we also give a new proof of Kechris's theorem that orbit equivalence relations of actions of Polish locally compact groups are essentially countable.
Recommendations
- scientific article; zbMATH DE number 2152679
- The Borel complexity of isomorphism for theories with many types
- New Directions in Descriptive Set Theory
- scientific article; zbMATH DE number 2236691
- Borel equivalence relations induced by actions of the symmetric group
- scientific article; zbMATH DE number 2204765
- The topological Vaught's conjecture and minimal counterexamples
- A dichotomy theorem for turbulence
- Borel equivalence relations and classifications of countable models
- Gδ‐pieces of canonical partitions of G‐spaces
Cites work
- -Stable ASH Algebras
- A Borel reductibility theory for classes of countable structures
- A note on Hjorth's oscillation theorem
- Actions by the classical Banach spaces
- An oscillation theorem for groups of isometries
- Borel equivalence relations and classifications of countable models
- Borel equivalence relations induced by actions of the symmetric group
- Completeness of the isomorphism problem for separable C^-algebras
- Countable sections for locally compact group actions
- Generic orbits and type isolation in the Gurarij space
- scientific article; zbMATH DE number 3654771 (Why is no real title available?)
- scientific article; zbMATH DE number 3574409 (Why is no real title available?)
- scientific article; zbMATH DE number 722611 (Why is no real title available?)
- scientific article; zbMATH DE number 976831 (Why is no real title available?)
- scientific article; zbMATH DE number 1946951 (Why is no real title available?)
- scientific article; zbMATH DE number 3452167 (Why is no real title available?)
- scientific article; zbMATH DE number 857060 (Why is no real title available?)
- scientific article; zbMATH DE number 1388189 (Why is no real title available?)
- Invariant descriptive set theory
- Lipschitz functions on topometric spaces
- Metric Scott analysis
- Model theoretic forcing in analysis
- Model theory for metric structures
- Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\)
- Modular functionals and perturbations of Nakano spaces
- Nonstandard hulls of Banach spaces
- Omitting types for infinitary \([0,1]\)-valued logic
- On the classification of Polish metric spaces up to isometry
- Polish G-spaces and continuous logic
- Polish group actions: Dichotomies and generalized elementary embeddings
- Polish spaces of Banach spaces
- The generator problem for \(\mathcal{Z}\)-stable \(C^\ast\)-algebras
- The isomorphism relation for separable \(C^\ast\)-algebras
Cited in
(6)- Continuous logic. I: Basic concepts
- scientific article; zbMATH DE number 997666 (Why is no real title available?)
- A dichotomy theorem for turbulence
- scientific article; zbMATH DE number 7184880 (Why is no real title available?)
- Complexity of distances: Theory of generalized analytic equivalence relations
- Guarded Fraïssé Banach spaces
This page was built for publication: CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6180614)
