A Banach-Mazur computable but not Markov computable function on the computable real numbers (Q1765159): Difference between revisions

@@ Property / author @@
-Peter H. Hertling
@@ Property / author: Peter H. Hertling / 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.1016/j.apal.2004.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2080359559
@@ Property / OpenAlex ID: W2080359559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3910522
@@ Property / cites work: Q3910522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3252703
@@ Property / cites work: Q3252703 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Q4531981
@@ Property / cites work: Q4531981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599159
@@ Property / cites work: Q5599159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338243
@@ Property / cites work: Q3338243 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov's constructive analysis; a participant's view
+Normal rank
@@ Property / cites work @@
+Q3227568
@@ Property / cites work: Q3227568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5829025
@@ Property / cites work: Q5829025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5720193
@@ Property / cites work: Q5720193 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive metric spaces
@@ Property / cites work: Recursive metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+A Comparison of Five “Computable” Operators
@@ Property / cites work: A Comparison of Five “Computable” Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643966
@@ Property / cites work: Q5643966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5737081
@@ Property / cites work: Q5737081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3849891
@@ Property / cites work: Q3849891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank