A Game-Theoretic Unital Classification Theorem for $C^{\ast }$-Algebras

Jennifer Pi, Michał Szachniewicz, Mira Tartarotti

We study the complexity of the $KK$-equivalence relation on unital $C^{\ast }$-algebras, in the sense of descriptive set theory. We prove that $KK$-equivalence is analytic, which in turn…