Controlling iterated jumps of solutions to combinatorial problems (Q2964279): Difference between revisions

@@ Property / cites work @@
+Degrees in Which the Recursive Sets are Uniformly Recursive
+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 @@
+A cohesive set which is not high
@@ Property / cites work: A cohesive set which is not high / rank @@
+Normal rank
@@ Property / cites work @@
+Generics for computable Mathias forcing
@@ Property / cites work: Generics for computable Mathias forcing / 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 @@
+On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
+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 @@
+Denis R. Hirschfeldt. Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28. World Scientific Publishing Co. Pte. Ltd., Singapore, 2015, xiv+214 pp.
+Normal rank
@@ Property / cites work @@
+Primitive recursion and the chain antichain principle
+Normal rank
@@ Property / cites work @@
+SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS
+Normal rank
@@ Property / cites work @@
+Degrees bounding principles and universal instances in reverse mathematics
+Normal rank
@@ Property / cites work @@
+Iterative Forcing and Hyperimmunity in Reverse Mathematics
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem
@@ Property / cites work: On the strength of Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Cohesive sets and rainbows
@@ Property / cites work: Cohesive sets and rainbows / rank @@
+Normal rank
@@ Property / cites work @@
+Some logically weak Ramseyan theorems
@@ Property / cites work: Some logically weak Ramseyan theorems / rank @@
+Normal rank