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

@@ Property / author @@
-Peter H. Hertling
@@ Property / author: Peter H. Hertling / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SLEEF
@@ Property / describes a project that uses: SLEEF / rank @@
+Normal rank
@@ Property / author @@
+Peter H. Hertling
@@ Property / author: Peter H. Hertling / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.19990450202
+Normal rank
@@ Property / OpenAlex ID @@
+W2047923539
@@ Property / OpenAlex ID: W2047923539 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:4243908