Effectiveness of the global modulus of continuity on metric spaces (Q1292416): Difference between revisions

@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+Compactness in constructive analysis revisited
@@ Property / cites work: Compactness in constructive analysis revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338243
@@ Property / cites work: Q3338243 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous selections. I
@@ Property / cites work: Continuous selections. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4837717
@@ Property / cites work: Q4837717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4326532
@@ Property / cites work: Q4326532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4405392
@@ Property / cites work: Q4405392 / rank @@
+Normal rank
@@ Property / cites work @@
+Type 2 recursion theory
@@ Property / cites work: Type 2 recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751553
@@ Property / cites work: Q3751553 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability on computable metric spaces
@@ Property / cites work: Computability on computable metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217582
@@ Property / cites work: Q4217582 / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of the real numbers and of the open subsets of the set of real numbers
+Normal rank
@@ Property / cites work @@
+Q4364586
@@ Property / cites work: Q4364586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362969
@@ Property / cites work: Q4362969 / rank @@
+Normal rank