SELECTED APPLICATIONS OF LOGIC TO CLASSIFICATION PROBLEM FOR C*-ALGEBRAS
Partially supported by NSERC.
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.