Computability of 1-manifolds

DOI10.2168/LMCS-10(2:8)2014zbMATH Open1315.03118arXiv1404.6487MaRDI QIDQ4979446FDOQ4979446

Authors: Konrad Burnik, Zvonko Iljazovic 

Publication date: 23 June 2014

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

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.

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

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

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)

Cited In (18)

• Computable approximations of a chainable continuum with a computable endpoint
• Effective compactness and orbits of points under the isometry group
• 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
• Title not available (Why is that?)
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• 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)