Co-c.e. spheres and cells in computable metric spaces

DOI10.2168/LMCS-7(3:5)2011MaRDI QIDQ3224671zbMATH OpenOpenAlexFDO

Authors Zvonko Iljazovic

Publication date 2 April 2012

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1106.2769

zbMATH Keywords

\(n\)-chainco-c.e. setcomputable metric spacecomputable setspherical \(n\)-chain

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Abstract: We investigate conditions under which a co-computably enumerable set in a computable metric space is computable. Using higher-dimensional chains and spherical chains we prove that in each computable metric space which is locally computable each co-computably enumerable sphere is computable and each co-c.e. cell with co-c.e. boundary sphere is computable.

Recommendations

• Local computability of computable metric spaces and computability of co-c.e. continua
• Chainable and circularly chainable co-r.e. sets in computable metric spaces
• Compact manifolds with computable boundaries
• Co-c.e. sets with disconnected complements
• Warsaw discs and semicomputability

Cited in

(18)

• Semicomputable manifolds in computable topological spaces
• Warsaw discs and semicomputability
• Computability of products of chainable continua
• Effective compactness and orbits of points under the isometry group
• Computability of pseudo-cubes
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• Compact manifolds with computable boundaries
• Local computability of computable metric spaces and computability of co-c.e. continua
• Chainable and circularly chainable co-r.e. sets in computable metric spaces
• Effectiveness for embedded spheres and balls
• scientific article; zbMATH DE number 7376056 (Why is no real title available?)
• Computability of Subsets of Metric Spaces
• On the topological aspects of the theory of represented spaces
• Strong computable type
• Computable approximations of a chainable continuum with a computable endpoint
• Computable type of certain quotient spaces
• Computability of chainable graphs
• Co-c.e. sets with disconnected complements

This page was built for publication: Co-c.e. spheres and cells in computable metric spaces

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