Computability of pseudo-cubes
From MaRDI portal
Publication:2187274
DOI10.1016/j.apal.2020.102823zbMath1481.03042OpenAlexW3022004881MaRDI QIDQ2187274
Zvonko Iljazović, Bojan Pažek, Marko Horvat
Publication date: 2 June 2020
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.2020.102823
Constructive and recursive analysis (03F60) Theory of numerations, effectively presented structures (03D45) Topological manifolds (57N99) Computation over the reals, computable analysis (03D78)
Related Items (3)
Strong computable type ⋮ Computable subcontinua of semicomputable chainable Hausdorff continua ⋮ Computability of products of chainable continua
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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.
- Semicomputable manifolds in computable topological spaces
- Warsaw discs and semicomputability
- Computability on computable metric spaces
- Chainable and circularly chainable semicomputable sets in computable topological spaces
- Une généralisation des espaces compacts
- Compact manifolds with computable boundaries
- Local computability of computable metric spaces and computability of co-c.e. continua
- Co-c.e. spheres and cells in computable metric spaces
- Plottable Real Number Functions and the Computable Graph Theorem
- Computable intersection points
- Incomputability of Simply Connected Planar Continua
- Effectiveness for Embedded Spheres and Balls
- Computability of 1-manifolds
- On a Π01 Set of Positive Measure
This page was built for publication: Computability of pseudo-cubes