A non-computable c.e. closed subset of [0, 1]

DOI10.1093/LOGCOM/EXAF043MaRDI QIDQ6923533zbMATH OpenFDO

Authors Serikzhan A. Badaev, Nikolay Bazhenov, S. S. Goncharov, B. S. Kalmurzayev, Alexander Melnikov

Publication date 30 September 2025

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

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

Mathematics Subject Classification ID

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

Cites work

• Chainable and circularly chainable co-r.e. sets in computable metric spaces
• Compact manifolds with computable boundaries
• Computability of 1-manifolds
• Computability of Polish spaces up to homeomorphism
• Computability of Subsets of Metric Spaces
• Computable Boolean algebras
• Computable Stone spaces
• Computable structures and operations on the space of continuous functions
• Computable topological abelian groups
• Computable topological groups and Pontryagin duality
• Computably and punctually universal spaces
• COMPUTABLY COMPACT METRIC SPACES
• Computing the exponent of a Lebesgue space
• Effective subsets under homeomorphisms of \(\mathbb{R}^n\)
• Effectiveness for embedded spheres and balls
• Hierarchies of Boolean algebras
• scientific article; zbMATH DE number 1002913 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 1222111 (Why is no real title available?)
• scientific article; zbMATH DE number 1303204 (Why is no real title available?)
• scientific article; zbMATH DE number 1095734 (Why is no real title available?)
• New degree spectra of Polish spaces
• Recursive isomorphism types of recursive Boolean algebras
• Semicomputable manifolds in computable topological spaces
• Strong computable type
• Subgroups of finitely presented groups
• The classification problem for compact computable metric spaces

Cited in

(1)

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

This page was built for publication: A non-computable c.e. closed subset of \([0, 1]\)

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