Selected applications of logic to classification problem for C*-algebras

Abstract

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 isomorphism relation of separable C∗-algebras are given.