Computability of 1-manifolds

DOI10.2168/LMCS-10(2:8)2014zbMath1315.03118arXiv1404.6487MaRDI QIDQ4979446

Konrad Burnik, Zvonko Iljazović

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

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

Related Items

Computability of pseudo-cubes ⋮ Strong computable type ⋮ Computable approximations of a chainable continuum with a computable endpoint ⋮ Computability of graphs ⋮ Unnamed Item ⋮ 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 ⋮ Dense computability structures ⋮ Effective compactness and orbits of points under the isometry group ⋮ Computability of Subsets of Metric Spaces