A counterexample regarding C.E. closed subsets of [0,1] under homeomorphisms
Abstract
Abstract We give an example of a computably enumerable closed subset of $[0,1]$ that is not homeomorphic to any computably compact Polish space. This answers a question of Koh, Melnikov and Ng (2025, J. Symb. Log.).
Fields of Study & Subjects
Computability
Logic
AI Algorithms
Advanced Topology and Set Theory
Mathematical Dynamics and Fractals
Publication details
- Journal / source
- Journal of Logic and Computation
- Volume
- 36
- Issue
- 6
- Publication date
- 9 July 2026
- Language
- EN