The isomorphism relation for separable C*-algebras
arXiv:1301.7108
Abstract
We prove that the isomorphism relation for separable C-algebras, and also the relations of complete and -isometry for operator spaces and systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a standard Borel space.