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

@@ Property / DOI @@
-.1007/s00224-011-9364-1
@@ Property / DOI: 10.1007/s00224-011-9364-1 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.3318
@@ Property / arXiv ID: 1106.3318 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00224-011-9364-1
@@ Property / DOI: 10.1007/S00224-011-9364-1 / rank @@
+Normal rank