Cohesive avoidance and strong reductions (Q5496327): Difference between revisions

@@ 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 metamathematics of Stable Ramsey’s Theorem for Pairs
+Normal rank
@@ Property / cites work @@
+Jump equivalence of the Δ<sub>2</sub><sup>0</sup> hyperimmune sets
+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 @@
+On the strength of the finite intersection principle
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+The atomic model theorem and type omitting
@@ Property / cites work: The atomic model theorem and type omitting / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized cohesiveness
@@ Property / cites work: Generalized cohesiveness / 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 @@
+A cohesive set which is not high
@@ Property / cites work: A cohesive set which is not high / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite subsets of random sets of integers
@@ Property / cites work: Infinite subsets of random sets of integers / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion theory week. Proceedings of a conference held in Oberwolfach, Germany, March 19-25, 1989
+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 @@
+Q3530404
@@ Property / cites work: Q3530404 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Sets with no subset of higher degree
@@ Property / cites work: Sets with no subset of higher degree / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank