Q4585068 (Q4585068): Difference between revisions

@@ Property / cites work @@
+Ramsey methods in analysis
@@ Property / cites work: Ramsey methods in analysis / rank @@
+Normal rank
@@ Property / cites work @@
+General topology. I. Basic concepts and constructions. Dimension theory. Transl. from the Russian by D. B. O'Shea
+Normal rank
@@ Property / cites work @@
+Recursive characterization of computable real-valued functions and relations
+Normal rank
@@ Property / cites work @@
+Computable invariance
@@ Property / cites work: Computable invariance / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779146
@@ Property / cites work: Q4779146 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+Normal rank
@@ Property / cites work @@
+Closed choice and a uniform low basis theorem
@@ Property / cites work: Closed choice and a uniform low basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
+Normal rank
@@ Property / cites work @@
+On the uniform computational content of computability theory
+Normal rank
@@ Property / cites work @@
+Topological properties of real number representations.
+Normal rank
@@ Property / cites work @@
+Q4103527
@@ Property / cites work: Q4103527 / rank @@
+Normal rank
@@ Property / cites work @@
+Levels of discontinuity, limit-computability, and jump operators
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4316881
@@ Property / cites work: Q4316881 / rank @@
+Normal rank
@@ Property / cites work @@
+Real functions and numbers defined by Turing machines
+Normal rank
@@ Property / cites work @@
+Q4885914
@@ Property / cites work: Q4885914 / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for completeness of degrees of unsolvability
+Normal rank
@@ Property / cites work @@
+Limiting recursion
@@ Property / cites work: Limiting recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Is the Mandelbrot set computable?
@@ Property / cites work: Is the Mandelbrot set computable? / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond recursive real functions
@@ Property / cites work: Beyond recursive real functions / 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 @@
+Genericity of weakly computable objects
@@ Property / cites work: Genericity of weakly computable objects / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Proofs of Some Theorems on High Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective genericity and differentiability
@@ Property / cites work: Effective genericity and differentiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226755
@@ Property / cites work: Q3226755 / rank @@
+Normal rank
@@ Property / cites work @@
+A Separation Theorem for ∑ 1 1 Sets
@@ Property / cites work: A Separation Theorem for ∑ 1 1 Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / rank @@
+Normal rank
@@ Property / cites work @@
+A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
+Normal rank
@@ Property / cites work @@
+Q3611832
@@ Property / cites work: Q3611832 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+On the topological aspects of the theory of represented spaces
+Normal rank
@@ Property / cites work @@
+Descriptive Set Theory in the Category of Represented Spaces
+Normal rank
@@ Property / cites work @@
+Non-deterministic computation and the Jayne-Rogers Theorem
+Normal rank
@@ Property / cites work @@
+Extended admissibility.
@@ Property / cites work: Extended admissibility. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5529982
@@ Property / cites work: Q5529982 / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of unsolvability
@@ Property / cites work: On degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetische Operatoren
@@ Property / cites work: Arithmetische Operatoren / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetische und Bairesche Operatoren
@@ Property / cites work: Arithmetische und Bairesche Operatoren / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / 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 @@
+Real hypercomputation and continuity
@@ Property / cites work: Real hypercomputation and continuity / rank @@
+Normal rank
@@ Property / cites work @@
+Revising Type-2 Computation and Degrees of Discontinuity
+Normal rank