Effective versions of local connectivity properties (Q692887): Difference between revisions

@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Plottable Real Number Functions and the Computable Graph Theorem
+Normal rank
@@ Property / cites work @@
+Computability on subsets of Euclidean space. I: Closed and compact subsets
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
+Normal rank
@@ Property / cites work @@
+Q5450053
@@ Property / cites work: Q5450053 / rank @@
+Normal rank
@@ Property / cites work @@
+Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
+Normal rank
@@ Property / cites work @@
+Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II
+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 @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank