# The isomorphism relation for separable C*-algebras

@article{Elliott2013TheIR,
title={The isomorphism relation for separable C*-algebras},
author={George A. Elliott and Ilijas Farah and Vern I. Paulsen and Christian Rosendal and Andrew S. Toms and Asger Tornquist},
journal={Mathematical Research Letters},
year={2013},
volume={20},
pages={1071-1080}
}
• Published 30 January 2013
• Mathematics
• Mathematical Research Letters
We prove that the isomorphism relation for separable C ∗ -algebras, the rela- tions of complete and n-isometry for operator spaces, and the relations of unital n-order isomorphisms of operator systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a standard Borel space.
29 Citations
Completeness of the isomorphism problem for separable C*-algebras
This paper studies the descriptive set-theoretical complexity of the isomorphism problem for separable C*-algebras. We prove that the isomorphism problem for separable (simple, AI) C*-algebras is
CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS
• Mathematics
The Journal of Symbolic Logic
• 2022
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
The conjugacy problem for automorphism groups of countable homogeneous structures
• Mathematics
Math. Log. Q.
• 2016
In each case, the precise complexity of the conjugacy relation in the sense of Borel reducibility of automorphism groups of a number of countable homogeneous structures is found.
The Classification Problem for automorphisms of C*-Algebras
We present an overview of the recent developments in the study of the classification problem for automorphisms of C*-algebras from the perspective of Borel complexity theory.
COMPACT METRIZABLE STRUCTURES AND CLASSIFICATION PROBLEMS
• Mathematics
The Journal of Symbolic Logic
• 2018
A simple proof of the completeness of the isomorphism relation of separable, simple, nuclear C*-algebras recently established by M. Sabok is provided.
ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
• Mathematics
Glasgow Mathematical Journal
• 2018
Abstract We show that the class of unital C*-algebras is an elementary class in the language of operator systems and that the algebra multiplication is a definable function in this language.
SELECTED APPLICATIONS OF LOGIC TO CLASSIFICATION PROBLEM FOR C*-ALGEBRAS
Basics of Elliott’s classification program are outlined and juxtaposed with the abstract classification theory from descriptive set theory. Some preliminary estimates on the complexity of the
The classification problem for finitely generated operator systems and spaces
• Mathematics
• 2014
The classification of separable operator systems and spaces is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm
Metric Scott analysis
• Mathematics
• 2014

## References

SHOWING 1-10 OF 31 REFERENCES
Completeness of the isomorphism problem for separable C*-algebras
This paper studies the descriptive set-theoretical complexity of the isomorphism problem for separable C*-algebras. We prove that the isomorphism problem for separable (simple, AI) C*-algebras is
The descriptive set theory of C$^*$-algebra invariants
• Mathematics
• 2011
We establish the Borel computability of various C$^*$-algebra invariants, including the Elliott invariant and the Cuntz semigroup. As applications we deduce that AF algebras are classifiable by
Model theory of operator algebras II: model theory
• Mathematics
• 2010
We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the
The complexity of classifying separable Banach spaces up to isomorphism
• Mathematics
• 2009
It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, that is, that any analytic equivalence relation Borel reduces to it. This
Turbulence, orbit equivalence, and the classification of nuclear C*-algebras
• Mathematics
• 2011
We bound the Borel cardinality of the isomorphism relation for nuclear simple separable C∗-algebras: It is turbulent, yet Borel reducible to the action of the automorphism group of the Cuntz algebra
Computing the complexity of the relation of isometry between separable Banach spaces
The Borel complexity of the relation of isometry between separable Banach spaces is computed and it is shown that this relation is Borel bireducible to the universal relation for Borel actions of Polish groups.
A dichotomy for the Mackey Borel structure
We prove that the equivalence of pure states of a separable C*-algebra is either smooth or it continuously reduces $[0,1]^{\bbN}/\ell_2$ and it therefore cannot be classified by countable structures.
Regularity properties in the classification program for separable amenable C*-algebras
• Mathematics
• 2007
We report on recent progress in the program to classify separable amenable C∗-algebras. Our emphasis is on the newly apparent role of regularity properties such as finite decomposition rank, strict
Turbulence, representations, and trace‐preserving actions
• Mathematics
• 2010
We establish criteria for turbulence in certain spaces of C*‐algebra representations and apply this to the problem of nonclassifiability by countable structures for group actions on a standard
Completely Bounded Maps and Operator Algebras
1. Introduction 2. Positive maps 3. Completely positive maps 4. Dilation theorems 5. Commuting contractions 6. Completely positive maps into Mn 7. Arveson's extension theorems 8. Completely bounded