We generalize the Stone space of ultrafilters on Boolean algebras and prove a generalization of Stone duality which is applicable to locally compact Polish spaces. Using this, we obtain complete invariants for simplicial complexes up to PL-homeomorphism and for non-compact - and -manifolds up to homeomorphism. We prove that the homeomorphism relation on non-compact -manifolds without boundary, the homeomorphism relation on non-compact -manifolds with or without boundary, the homeomorphism relation on open subsets of and , and conjugacy of Cantor sets in are classifiable by countable structures. Together with known lower bounds, this implies that these relations are Borel bireducible with isomorphism of countable graphs. We also show that PL-homeomorphism of Heine-Borel simplicial complexes and PL-homeomorphism of PL -manifolds, for every , are classifiable by countable structures.

生成讲解博客的中文版本

生成AI智能校验的中文版本