\( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models (Q2048618): Difference between revisions

@@ Property / DOI @@
-.1016/j.aim.2021.107903
@@ Property / DOI: 10.1016/j.aim.2021.107903 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3186877027
@@ Property / OpenAlex ID: W3186877027 / 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 @@
+Some results concerning the SRT 2 2 vs. COH problem
+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 @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+A Δ<sub>2</sub><sup>0</sup> set with no infinite low subset in either it or its complement
+Normal rank
@@ Property / cites work @@
+Cohesive avoidance and strong reductions
@@ Property / cites work: Cohesive avoidance and strong reductions / rank @@
+Normal rank
@@ Property / cites work @@
+STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES
+Normal rank
@@ Property / cites work @@
+Q2921599
@@ Property / cites work: Q2921599 / 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 @@
+The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs
+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 @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / 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 @@
+RT<sub>2</sub><sup>2</sup> does not imply WKL<sub>0</sub>
+Normal rank
@@ Property / cites work @@
+Cone avoiding closed sets
@@ Property / cites work: Cone avoiding closed sets / rank @@
+Normal rank
@@ Property / cites work @@
+Partition Theorems and Computability Theory
@@ Property / cites work: Partition Theorems and Computability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Pigeons do not jump high
@@ Property / cites work: Pigeons do not jump high / rank @@
+Normal rank
@@ Property / cites work @@
+The weakness of being cohesive, thin or free in reverse mathematics
+Normal rank
@@ Property / cites work @@
+Controlling iterated jumps of solutions to combinatorial problems
+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 @@
+Partial realizations of Hilbert's program
@@ Property / cites work: Partial realizations of Hilbert's program / 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 / DOI @@
+.1016/J.AIM.2021.107903
@@ Property / DOI: 10.1016/J.AIM.2021.107903 / rank @@
+Normal rank