A Counterexample Regarding C.E. Closed Subsets of [0,1] Under Homeomorphisms
We give an example of a computably enumerable closed subset of [0,1] that is not homeomorphic to any computably compact space. This answers a question of Koh, Melnikov and Ng.
math.LO↗