Computable neighbourhoods of points in semicomputable manifolds (Q508833): Difference between revisions

@@ Property / cites work @@
+Plottable Real Number Functions and the Computable Graph Theorem
+Normal rank
@@ Property / cites work @@
+Computability on subsets of metric spaces.
@@ Property / cites work: Computability on subsets of metric spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Computability on subsets of Euclidean space. I: Closed and compact subsets
+Normal rank
@@ Property / cites work @@
+Computability of 1-manifolds
@@ Property / cites work: Computability of 1-manifolds / rank @@
+Normal rank
@@ Property / cites work @@
+Q4117061
@@ Property / cites work: Q4117061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417312
@@ Property / cites work: Q4417312 / rank @@
+Normal rank
@@ Property / cites work @@
+Is the Mandelbrot set computable?
@@ Property / cites work: Is the Mandelbrot set computable? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3639062
@@ Property / cites work: Q3639062 / rank @@
+Normal rank
@@ Property / cites work @@
+Local computability of computable metric spaces and computability of co-c.e. continua
+Normal rank
@@ Property / cites work @@
+Compact manifolds with computable boundaries
@@ Property / cites work: Compact manifolds with computable boundaries / rank @@
+Normal rank
@@ Property / cites work @@
+Incomputability of Simply Connected Planar Continua
+Normal rank
@@ Property / cites work @@
+Singular coverings and non‐uniform notions of closed set computability
+Normal rank
@@ Property / cites work @@
+The power of backtracking and the confinement of length
+Normal rank
@@ Property / cites work @@
+Effectiveness for Embedded Spheres and Balls
@@ Property / cites work: Effectiveness for Embedded Spheres and Balls / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827224
@@ Property / cites work: Q3827224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004123
@@ Property / cites work: Q4004123 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3260574
@@ Property / cites work: Q3260574 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Π<sup>0</sup><sub>1</sub> Set of Positive Measure
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Computability on computable metric spaces
@@ Property / cites work: Computability on computable metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank