Warsaw discs and semicomputability
From MaRDI portal
Publication:1709073
DOI10.1016/j.topol.2018.02.014OpenAlexW2792597200MaRDI QIDQ1709073
Publication date: 27 March 2018
Published in: Topology and its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.topol.2018.02.014
Constructive and recursive analysis (03F60) Connections of general topology with other structures, applications (54H99)
Related Items
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 metric spaces.
- Computability on computable metric spaces
- Compact manifolds with computable boundaries
- Co-c.e. spheres and cells in computable metric spaces
- 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 Π01 Set of Positive Measure