Compact manifolds with computable boundaries

DOI10.2168/LMCS-9(4:19)2013zbMath1315.03119arXiv1310.7911MaRDI QIDQ2871471

Zvonko Iljazović

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

manifold with boundarycomputable setcomputable metric spaceco-c.e. setsemi-computable compact set

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items (13)

Computability of pseudo-cubes ⋮ Strong computable type ⋮ Computable approximations of a chainable continuum with a computable endpoint ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Semicomputable manifolds in computable topological spaces ⋮ Warsaw discs and semicomputability ⋮ Computable subcontinua of semicomputable chainable Hausdorff continua ⋮ Computable neighbourhoods of points in semicomputable manifolds ⋮ Chainable and circularly chainable semicomputable sets in computable topological spaces ⋮ Co-c.e. sets with disconnected complements ⋮ Computability of products of chainable continua ⋮ Effective compactness and orbits of points under the isometry group ⋮ Computability of Subsets of Metric Spaces

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