Domain representability of metric spaces (Q674414): Difference between revisions

@@ Property / cites work @@
+Total sets and objects in domain theory
@@ Property / cites work: Total sets and objects in domain theory / 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 @@
+Q5737081
@@ Property / cites work: Q5737081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4108256
@@ Property / cites work: Q4108256 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic colloquium 76. Proceedings of a conference held in Oxford in July 1976
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Computable Fields and Arithmetically Definable Ordered Fields
+Normal rank
@@ Property / cites work @@
+A note on computable real fields
@@ Property / cites work: A note on computable real fields / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive metric spaces
@@ Property / cites work: Recursive metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518362
@@ Property / cites work: Q5518362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821265
@@ Property / cites work: Q3821265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023580
@@ Property / cites work: Q4023580 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete local rings as domains
@@ Property / cites work: Complete local rings as domains / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and fixed point equations over inverse limits of algebras
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding metric spaces into CPO's
@@ Property / cites work: Embedding metric spaces into CPO's / rank @@
+Normal rank