A Counterexample Regarding C.E. Closed Subsets of [0,1] Under Homeomorphisms

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Bosserhoff, Volker
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866916874942414848
author Bosserhoff, Volker
author_facet Bosserhoff, Volker
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2508_00166
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle A Counterexample Regarding C.E. Closed Subsets of [0,1] Under Homeomorphisms
Bosserhoff, Volker
Logic
03D45
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.
title A Counterexample Regarding C.E. Closed Subsets of [0,1] Under Homeomorphisms
topic Logic
03D45
url https://arxiv.org/abs/2508.00166