Recursive quasi-metric spaces. (Q1427771): Difference between revisions

@@ Property / cites work @@
+Q4277838
@@ Property / cites work: Q4277838 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain representability of metric spaces
@@ Property / cites work: Domain representability of metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5522002
@@ Property / cites work: Q5522002 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503952
@@ Property / cites work: Q4503952 / rank @@
+Normal rank
@@ Property / cites work @@
+Generated quasi-metric hyper and function spaces.
@@ Property / cites work: Generated quasi-metric hyper and function spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Topological properties of real number representations.
+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 @@
+Q3849891
@@ Property / cites work: Q3849891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4424942
@@ Property / cites work: Q4424942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4546500
@@ Property / cites work: Q4546500 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338243
@@ Property / cites work: Q3338243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262213
@@ Property / cites work: Q3262213 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective properties of sets and functions in metric spaces with computability structure
+Normal rank
@@ Property / cites work @@
+Recursive metric spaces
@@ Property / cites work: Recursive metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556429
@@ Property / cites work: Q5556429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+On effective topological spaces
@@ Property / cites work: On effective topological spaces / rank @@
+Normal rank
@@ Property / cites work @@
+A faithful computational model of the real numbers
+Normal rank
@@ Property / cites work @@
+Q4888074
@@ Property / cites work: Q4888074 / 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 @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability on continuous, lower semi-continuous and upper semi-continuous real functions
+Normal rank
@@ Property / cites work @@
+Approaches to Effective Semi‐Continuity of Real Functions
+Normal rank