New bounds on the strength of some restrictions of Hindman's theorem (Q2011655): Difference between revisions

@@ Property / cites work @@
+Q3370069
@@ Property / cites work: Q3370069 / rank @@
+Normal rank
@@ Property / cites work @@
+A weak variant of Hindman's theorem stronger than Hilbert's theorem
+Normal rank
@@ Property / cites work @@
+THE STRENGTH OF RAMSEY’S THEOREM FOR COLORING RELATIVELY                     LARGE SETS
+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 metamathematics of Stable Ramsey’s Theorem for Pairs
+Normal rank
@@ Property / cites work @@
+Cohesive avoidance and strong reductions
@@ Property / cites work: Cohesive avoidance and strong reductions / rank @@
+Normal rank
@@ Property / cites work @@
+The polarized Ramsey's theorem
@@ Property / cites work: The polarized Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Effectiveness of Hindman’s Theorem for Bounded Sums
+Normal rank
@@ Property / cites work @@
+The Existence of Certain Ultrafilters on N and a Conjecture of Graham and Rothschild
+Normal rank
@@ Property / cites work @@
+Finite sums from sequences within cells of a partition of N
+Normal rank
@@ Property / cites work @@
+Open Problems in Partition Regularity
@@ Property / cites work: Open Problems in Partition Regularity / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing the Truth
@@ Property / cites work: Slicing the Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert versus Hindman
@@ Property / cites work: Hilbert versus Hindman / rank @@
+Normal rank
@@ Property / cites work @@
+Open Questions in Reverse Mathematics
@@ Property / cites work: Open Questions in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank