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 (9)
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
This page was built for publication: Computable neighbourhoods of points in semicomputable manifolds
