In analogy to the study of Scott rank/complexity of countable structures, we initiate the study of the Wadge degrees of the set of homeomorphic copies of topological spaces. One can view our results as saying that the classical characterizations of $[0,1]$ (e.g., as the unique continuum with exactly two non-cut points, and other similar characterizations), appropriated expressed, are the simplest possible characterizations of $[0,1]$. Formally, we show that the set of homeomorphic copies of $[0,1]$ is Π⁰₄-Wadge-complete. We also show that the set of homeomorphic copies of S¹ is Π⁰₄-Wadge-complete. On the other hand, we show that the set of homeomorphic copies of R is Π¹₁-Wadge-complete. It is the local compactness that cannot be expressed in a Borel way; the set of homeomorphic copies of R is Π⁰₄-Wadge-complete within the locally compact spaces.
No takes yet. Share an insight, caveat, or question.
Harrison‐Trainor et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: