On the uniform computational content of computability theory (Q1694010): Difference between revisions

@@ Property / cites work @@
+Comparing DNR and WWKL
@@ Property / cites work: Comparing DNR and WWKL / rank @@
+Normal rank
@@ Property / cites work @@
+Diagonally non-computable functions and fireworks
@@ Property / cites work: Diagonally non-computable functions and fireworks / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable invariance
@@ Property / cites work: Computable invariance / 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 @@
+Borel Complexity of Topological Operations on Computable Metric Spaces
+Normal rank
@@ Property / cites work @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+Weihrauch degrees, omniscience principles and weak computability
+Normal rank
@@ Property / cites work @@
+Las Vegas Computability and Algorithmic Randomness
+Normal rank
@@ Property / cites work @@
+Probabilistic computability and choice
@@ Property / cites work: Probabilistic computability and choice / rank @@
+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 @@
+On the algebraic structure of Weihrauch degrees
@@ Property / cites work: On the algebraic structure of Weihrauch degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Computability on subsets of metric spaces.
@@ Property / cites work: Computability on subsets of metric spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem for pairs
@@ Property / cites work: On the strength of Ramsey's theorem for pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal degrees and the jump operator
@@ Property / cites work: Minimal degrees and the jump operator / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417312
@@ Property / cites work: Q4417312 / rank @@
+Normal rank
@@ Property / cites work @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF INDUCTION
+Normal rank
@@ Property / cites work @@
+Binary subtrees with few labeled paths
@@ Property / cites work: Binary subtrees with few labeled paths / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for completeness of degrees of unsolvability
+Normal rank
@@ Property / cites work @@
+How incomputable is the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+SEPARATING FRAGMENTS OF WLEM, LPO, AND MP
@@ Property / cites work: SEPARATING FRAGMENTS OF WLEM, LPO, AND MP / rank @@
+Normal rank
@@ Property / cites work @@
+Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
+Normal rank
@@ Property / cites work @@
+The degree structure of Weihrauch-reducibility
@@ Property / cites work: The degree structure of Weihrauch-reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of the Radon-Nikodym Derivative
@@ Property / cites work: Computability of the Radon-Nikodym Derivative / rank @@
+Normal rank
@@ Property / cites work @@
+A cohesive set which is not high
@@ Property / cites work: A cohesive set which is not high / rank @@
+Normal rank
@@ Property / cites work @@
+Upward closure and cohesive degrees
@@ Property / cites work: Upward closure and cohesive degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Diagonally Non-Computable Functions and Bi-Immunity
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+The cohesive principle and the Bolzano-Weierstraß principle
+Normal rank
@@ Property / cites work @@
+On the Strength of Weak Compactness
@@ Property / cites work: On the Strength of Weak Compactness / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Randomness
@@ Property / cites work: Computability and Randomness / 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 @@
+Q3075220
@@ Property / cites work: Q3075220 / rank @@
+Normal rank
@@ Property / cites work @@
+On the (semi)lattices induced by continuous reducibilities
+Normal rank
@@ Property / cites work @@
+Mass Problems and Measure-Theoretic Regularity
@@ Property / cites work: Mass Problems and Measure-Theoretic Regularity / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Unsolvability: A Tutorial
@@ Property / cites work: Degrees of Unsolvability: A Tutorial / rank @@
+Normal rank
@@ Property / cites work @@
+The axiomatization of randomness
@@ Property / cites work: The axiomatization of randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Lowness for genericity
@@ Property / cites work: Lowness for genericity / rank @@
+Normal rank