Compact metrizable structures and classification problems

摘要: We introduce and study the framework of compact metric structures their associated notions isomorphisms such as homeomorphic bi-Lipschitz isomorphism. This is subsequently applied to model various classification problems in analysis isomorphism C*-algebras affine homeomorphism Choquet simplices, where among other things we provide a simple proof completeness relation separable, simple, nuclear recently established by M. Sabok.