Semicomputable manifolds in computable topological spaces

DOI10.1016/j.jco.2017.11.004zbMath1437.03137arXiv1701.04642OpenAlexW2769622034MaRDI QIDQ1704608

Igor Sušić, Zvonko Iljazović

Publication date: 12 March 2018

Published in: Journal of Complexity (Search for Journal in Brave)

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

zbMATH Keywords

manifold with boundarycomputable setcomputable metric spacecomputable topological spacesemicomputable set

Mathematics Subject Classification ID

Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Computation over the reals, computable analysis (03D78)

Related Items (10)

Computability of pseudo-cubes ⋮ Strong computable type ⋮ Computable approximations of a chainable continuum with a computable endpoint ⋮ Computability of graphs ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Computable subcontinua of semicomputable chainable Hausdorff continua ⋮ Chainable and circularly chainable semicomputable sets in computable topological spaces ⋮ Computability of products of chainable continua ⋮ Dense computability structures ⋮ Computability of Subsets of Metric Spaces

Cites Work

• Computable neighbourhoods of points in semicomputable manifolds
• Co-c.e. sets with disconnected complements
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computability on subsets of metric spaces.
• Computability on computable metric spaces
• Compact manifolds with computable boundaries
• Is the Mandelbrot set computable?
• Co-c.e. spheres and cells in computable metric spaces
• Singular coverings and non‐uniform notions of closed set computability
• Plottable Real Number Functions and the Computable Graph Theorem
• Incomputability of Simply Connected Planar Continua
• Effectiveness for Embedded Spheres and Balls
• Computability of 1-manifolds
• MAXIMAL COMPUTABILITY STRUCTURES
• On a Π⁰₁ Set of Positive Measure
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semicomputable manifolds in computable topological spaces