A Real Number Structure that is Effectively Categorical (Q4243908): Difference between revisions

@@ Property / cites work @@
+Recursive characterization of computable real-valued functions and relations
+Normal rank
@@ Property / cites work @@
+Fast Multiple-Precision Evaluation of Elementary Functions
+Normal rank
@@ Property / cites work @@
+Theorie der Numerierungen I
@@ Property / cites work: Theorie der Numerierungen I / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Q4217598
@@ Property / cites work: Q4217598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5567860
@@ Property / cites work: Q5567860 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of representations
@@ Property / cites work: Theory of representations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338243
@@ Property / cites work: Q3338243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226754
@@ Property / cites work: Q3226754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518362
@@ Property / cites work: Q5518362 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive metric spaces
@@ Property / cites work: Recursive metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Type 2 recursion theory
@@ Property / cites work: Type 2 recursion theory / 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 @@
+Q4436366
@@ Property / cites work: Q4436366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373560
@@ Property / cites work: Q4373560 / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of the real numbers and of the open subsets of the set of real numbers
+Normal rank