On uniform relationships between combinatorial problems (Q2796522): Difference between revisions

@@ Property / cites work @@
+Comparing DNR and WWKL
@@ Property / cites work: Comparing DNR and WWKL / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
+Normal rank
@@ Property / cites work @@
+Q4842968
@@ Property / cites work: Q4842968 / rank @@
+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 @@
+Weihrauch degrees, omniscience principles and weak computability
+Normal rank
@@ Property / cites work @@
+The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
+Normal rank
@@ Property / cites work @@
+Q5150974
@@ Property / cites work: Q5150974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711879
@@ Property / cites work: Q5711879 / 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 @@
+The metamathematics of Stable Ramsey’s Theorem for Pairs
+Normal rank
@@ Property / cites work @@
+Random reals, the rainbow Ramsey theorem, and arithmetic conservation
+Normal rank
@@ Property / cites work @@
+The strength of the rainbow Ramsey Theorem
@@ Property / cites work: The strength of the rainbow Ramsey Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Cohesive avoidance and strong reductions
@@ Property / cites work: Cohesive avoidance and strong reductions / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem and cone avoidance
@@ Property / cites work: Ramsey's theorem and cone avoidance / rank @@
+Normal rank
@@ Property / cites work @@
+Countable algebra and set existence axioms
@@ Property / cites work: Countable algebra and set existence axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing the Truth
@@ Property / cites work: Slicing the Truth / rank @@
+Normal rank
@@ Property / cites work @@
+On notions of computability-theoretic reduction between Π21 principles
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+Representations of Reals in Reverse Mathematics
@@ Property / cites work: Representations of Reals in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem and recursion theory
@@ Property / cites work: Ramsey's theorem and recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3469096
@@ Property / cites work: Q3469096 / rank @@
+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 @@
+Term extraction and Ramsey's theorem for pairs
@@ Property / cites work: Term extraction and Ramsey's theorem for pairs / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Beigel's cardinality conjecture
@@ Property / cites work: A proof of Beigel's cardinality conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS
+Normal rank
@@ Property / cites work @@
+On the (semi)lattices induced by continuous reducibilities
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Rainbow Ramsey Theorem for Triples is Strictly Weaker than the Arithmetical Comprehension Axiom
+Normal rank
@@ Property / cites work @@
+Some logically weak Ramseyan theorems
@@ Property / cites work: Some logically weak Ramseyan theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Measure theory and weak König's lemma
@@ Property / cites work: Measure theory and weak König's lemma / rank @@
+Normal rank