Computability of 1-manifolds

DOI10.2168/LMCS-10(2:8)2014MaRDI QIDQ4979446zbMATH OpenFDO

Authors Konrad Burnik, Zvonko Iljazovic

Publication date 23 June 2014

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

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

zbMATH Keywords

computable setcomputable metric spaceco-c.e. set1-manifold with boundarysemi-computable set

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Constructive and recursive analysis (03F60) Topological manifolds (57N99)

Abstract: A semi-computable set S in a computable metric space need not be computable. However, in some cases, if S has certain topological properties, we can conclude that S is computable. It is known that if a semi-computable set S is a compact manifold with boundary, then the computability of deltaS implies the computability of S. In this paper we examine the case when S is a 1-manifold with boundary, not necessarily compact. We show that a similar result holds in this case under assumption that S has finitely many components.

Recommendations

• Semicomputable manifolds in computable topological spaces
• Compact manifolds with computable boundaries
• Computable neighbourhoods of points in semicomputable manifolds
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• Warsaw discs and semicomputability

Cited in

(18)

• Effective compactness and orbits of points under the isometry group
• Computable approximations of a chainable continuum with a computable endpoint
• Computability of Subsets of Metric Spaces
• The surjection property and computable type
• Co-c.e. sets with disconnected complements
• COMPUTABLY COMPACT METRIC SPACES
• Compact manifolds with computable boundaries
• Strong computable type
• Computability of products of chainable continua
• Computability of pseudo-cubes
• Computable subcontinua of semicomputable chainable Hausdorff continua
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• scientific article; zbMATH DE number 7376056 (Why is no real title available?)
• Dense computability structures
• Computable neighbourhoods of points in semicomputable manifolds
• Semicomputable manifolds in computable topological spaces
• Warsaw discs and semicomputability
• Computability of graphs

This page was built for publication: Computability of 1-manifolds

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