Computable neighbourhoods of points in semicomputable manifolds
From MaRDI portal
Publication:508833
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
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 Π01 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