Revising Type-2 Computation and Degrees of Discontinuity (Q4921445): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2090564910
@@ Property / OpenAlex ID: W2090564910 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+cs/0607114
@@ Property / arXiv ID: cs/0607114 / rank @@
+Normal rank
@@ Property / cites work @@
+A transfinite hierarchy of reals
@@ Property / cites work: A transfinite hierarchy of reals / rank @@
+Normal rank
@@ Property / cites work @@
+Topological properties of real number representations.
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Algorithmic complexity of recursive and inductive algorithms
+Normal rank
@@ Property / cites work @@
+Analytic machines
@@ Property / cites work: Analytic machines / rank @@
+Normal rank
@@ Property / cites work @@
+Limiting recursion
@@ Property / cites work: Limiting recursion / rank @@
+Normal rank
@@ Property / cites work @@
+A sequentially computable function that is not effectively continuous at any point
+Normal rank
@@ Property / cites work @@
+A Banach-Mazur computable but not Markov computable function on the computable real numbers
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+Relatively recursive reals and real functions
@@ Property / cites work: Relatively recursive reals and real functions / rank @@
+Normal rank
@@ Property / cites work @@
+Identification of algebraic numbers
@@ Property / cites work: Identification of algebraic numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3425115
@@ Property / cites work: Q3425115 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Trial and error predicates and the solution to a problem of Mostowski
+Normal rank
@@ Property / cites work @@
+HIERARCHIES OF GENERALIZED KOLMOGOROV COMPLEXITIES AND NONENUMERABLE UNIVERSAL MEASURES COMPUTABLE IN THE LIMIT
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4431234
@@ Property / cites work: Q4431234 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / 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 @@
+Computability on Regular Subsets of Euclidean Space
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+The Arithmetical Hierarchy of Real Numbers
@@ Property / cites work: The Arithmetical Hierarchy of Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Computability theory of generalized functions
@@ Property / cites work: Computability theory of generalized functions / rank @@
+Normal rank