The complexity of the classification problem of continua

Abstract

We prove that the homeomorphism problem for connected compact metric spaces is Borel bireducible with a universal orbit equivalence relation induced by a Borel action of a Polish group.

References in corpus (2)

• Completeness of the isomorphism problem for separable C*-algebras
• The complexity of the homeomorphism relation between compact metric spaces