A counterexample regarding C.E. closed subsets of [0, 1] under homeomorphisms

DOI10.1093/LOGCOM/EXAG037MaRDI QIDQ7322998zbMATH OpenFDO

Authors Volker Bosserhoff

Publication date 1 September 2026

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAG037

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A non-computable c.e. closed subset of \([0, 1]\)
• Comparing notions of presentability in Polish spaces and Polish groups
• Computability of Polish spaces up to homeomorphism
• Computability on subsets of metric spaces.
• Computable Stone spaces
• Computable structures and the hyperarithmetical hierarchy
• Computable topological abelian groups
• COMPUTABLY COMPACT METRIC SPACES
• Degree spectra of homeomorphism type of compact Polish spaces
• Effective subsets under homeomorphisms of \(\mathbb{R}^n\)
• Every \(\Delta^0_2\) Polish space is computable topological
• Hierarchies of Boolean algebras
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Separating notions in effective topology

This page was built for publication: A counterexample regarding C.E. closed subsets of \([0, 1]\) under homeomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7322998)