Computable neighbourhoods of points in semicomputable manifolds

DOI10.1016/j.apal.2016.10.015zbMath1422.03092OpenAlexW2538013204MaRDI QIDQ508833

Zvonko Iljazović, Lucija Validžić

Publication date: 8 February 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2016.10.015

zbMATH Keywords

manifoldpolyhedroncomputable metric spacecomputable neighbourhoodcomputable point

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, Computability of graphs, Semicomputable manifolds in computable topological spaces, Warsaw discs and semicomputability, Computable subcontinua of semicomputable chainable Hausdorff continua, Chainable and circularly chainable semicomputable sets in computable topological spaces, Co-c.e. sets with disconnected complements, Computability of products of chainable continua, Computability of Subsets of Metric Spaces

Cites Work

• 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
• Local computability of computable metric spaces and computability of co-c.e. continua
• Is the Mandelbrot set computable?
• 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
• The power of backtracking and the confinement of length
• Effectiveness for Embedded Spheres and Balls
• Computability of 1-manifolds
• 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