Classification of nuclear C*-algebras and set theory
Speaker:
Ilijas Farah, York University
Date and Time:
Tuesday, October 12, 2010 - 11:00am to 11:50am
Abstract:
We prove that the isomorphism relation for nuclear simple separable C*-algebras is not classifiable by countable structures. In passing, we prove that a wide variety of standard C*-algebra constructions correspond to Borel relations and functions. In particular, Elliott’s invariant—K-theory, traces, and the bonding map between them—is Borel computable.