Compact manifolds with computable boundaries

DOI10.2168/LMCS-9(4:19)2013MaRDI QIDQ2871471zbMATH OpenFDO

Authors Zvonko Iljazovic

Publication date 8 January 2014

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

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

zbMATH Keywords

co-c.e. setcomputable metric spacecomputable setmanifold with boundarysemi-computable compact set

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Abstract: We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with computable boundary is computable. In fact, we examine the notion of a semi-computable compact set and we prove a more general result: in any computable metric space each semi-computable compact manifold with computable boundary is computable. In particular, each semi-computable compact (boundaryless) manifold is computable.

Recommendations

• Semicomputable manifolds in computable topological spaces
• Computable neighbourhoods of points in semicomputable manifolds
• Co-c.e. spheres and cells in computable metric spaces
• Warsaw discs and semicomputability
• Computability of 1-manifolds

Cited in

(29)

• 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
• Computable subcontinua of semicomputable chainable Hausdorff continua
• Chainable and circularly chainable semicomputable sets in computable topological spaces
• Manifold boundaries
• Real Computable Manifolds and Homotopy Groups
• Co-c.e. spheres and cells in computable metric spaces
• Computability Results Used in Differential Geometry
• Computability of 1-manifolds
• Computability of Subsets of Metric Spaces
• Computability of glued manifolds
• Computable neighbourhoods of points in semicomputable manifolds
• Computability of graphs
• Strong computable type
• Computable approximations of a chainable continuum with a computable endpoint
• COMPUTABLY COMPACT METRIC SPACES
• The surjection property and computable type
• Sets, complements and boundaries
• Computable subcontinua of circularly chainable continua
• Computable type of certain quotient spaces
• A non-computable c.e. closed subset of \([0, 1]\)
• Descriptive complexity of topological invariants
• Computability of chainable graphs
• Co-c.e. sets with disconnected complements
• Computable approximations of semicomputable graphs
• Computable type and computably categorical spaces

This page was built for publication: Compact manifolds with computable boundaries

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