A weak variant of Hindman's theorem stronger than Hilbert's theorem (Q1745357): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-017-0576-1
@@ Property / DOI: 10.1007/s00153-017-0576-1 / rank @@
-Normal rank
@@ Property / cites work @@
+Q3370069
@@ Property / cites work: Q3370069 / rank @@
+Normal rank
@@ Property / cites work @@
+Open Problems in Partition Regularity
@@ Property / cites work: Open Problems in Partition Regularity / rank @@
+Normal rank
@@ Property / cites work @@
+“Weak yet strong” restrictions of Hindman’s Finite Sums Theorem
+Normal rank
@@ Property / cites work @@
+New bounds on the strength of some restrictions of Hindman's theorem
+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 @@
+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 @@
+Hilbert versus Hindman
@@ Property / cites work: Hilbert versus Hindman / rank @@
+Normal rank
@@ Property / cites work @@
+The Logical Strength of Büchi's Decidability Theorem
+Normal rank
@@ Property / cites work @@
+Open Questions in Reverse Mathematics
@@ Property / cites work: Open Questions in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+The proof-theoretic strength of Ramsey's theorem for pairs and two colors
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-017-0576-1
@@ Property / DOI: 10.1007/S00153-017-0576-1 / rank @@
+Normal rank