{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T23:02:55Z","timestamp":1778540575745,"version":"3.51.4"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T00:00:00Z","timestamp":1500854400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s00153-017-0576-1","type":"journal-article","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T06:19:56Z","timestamp":1500877196000},"page":"381-389","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A weak variant of Hindman\u2019s Theorem stronger than Hilbert\u2019s Theorem"],"prefix":"10.1007","volume":"57","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8238-0315","authenticated-orcid":false,"given":"Lorenzo","family":"Carlucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,24]]},"reference":[{"key":"576_CR1","first-page":"331","volume":"62","author":"A Blass","year":"2005","unstructured":"Blass, A.: Some questions arising from Hindman\u2019s Theorem. Sci. Math. Jpn. 62, 331\u2013334 (2005)","journal-title":"Sci. Math. Jpn."},{"key":"576_CR2","doi-asserted-by":"crossref","unstructured":"Blass, A.R., Hirst, J.L., Simpson, S.G.: Logical analysis of some theorems of combinatorics and topological dynamics. In: Logic and Combinatorics (Arcata, Calif., 1985), Contemp. Math., vol. 65, pp. 125\u2013156. American Mathematical Society, Providence, RI (1987)","DOI":"10.1090\/conm\/065\/891245"},{"key":"576_CR3","doi-asserted-by":"crossref","unstructured":"Carlucci, L.: \u201cWeak yet strong\u201d restrictions of Hindman\u2019s Finite Sums Theorem. Proc. Am. Math. Soc. (to appear)","DOI":"10.1090\/proc\/13856"},{"key":"576_CR4","doi-asserted-by":"crossref","unstructured":"Carlucci, L., Ko\u0142odziejczyk, L.\u00a0A., Lepore, F., Zdanowski, K.: New bounds on the strength of some restrictions of Hindman\u2019s Theorem. In: Kari, J., Manea, F., Petre, I. (eds.) Unveiling Dynamics and Complexity, 13th Conference Computability in Europe 2017 (Turku, Finland, June 12\u201316, 2017), Springer, pp.\u00a0210\u2013220 (2017)","DOI":"10.1007\/978-3-319-58741-7_21"},{"issue":"1","key":"576_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2694910","volume":"66","author":"P Cholak","year":"2001","unstructured":"Cholak, P., Jockusch, C.G., Slaman, T.: On the strength of Ramsey\u2019s Theorem for pairs. J. Symb. Log. 66(1), 1\u201355 (2001)","journal-title":"J. Symb. Log."},{"key":"576_CR6","doi-asserted-by":"crossref","first-page":"1093","DOI":"10.1090\/S0002-9939-09-10115-6","volume":"138","author":"CT Chong","year":"2010","unstructured":"Chong, C.T., Lempp, S., Yang, Y.: On the role of the collection principle for \n                        $$\\Sigma ^0_2$$\n                        \n                            \n                                \n                                    \u03a3\n                                    2\n                                    0\n                                \n                            \n                        \n                     formulas in second-order reverse mathematics. Proc. Am. Math. Soc. 138, 1093\u20131100 (2010)","journal-title":"Proc. Am. Math. Soc."},{"key":"576_CR7","doi-asserted-by":"crossref","first-page":"863","DOI":"10.1090\/S0894-0347-2014-00789-X","volume":"27","author":"CT Chong","year":"2014","unstructured":"Chong, C.T., Slaman, T.A., Yang, Y.: The metamathematics of the Stable Ramsey\u2019s Theorem for Pairs. J. Am. Math. Soc. 27, 863\u2013892 (2014)","journal-title":"J. Am. Math. Soc."},{"issue":"2","key":"576_CR8","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s00153-008-0108-0","volume":"48","author":"DD Dzhafarov","year":"2011","unstructured":"Dzhafarov, D.D., Hirst, J.L.: The polarized Ramsey\u2019s theorem. Arch. Math. Log. 48(2), 141\u2013157 (2011)","journal-title":"Arch. Math. Log."},{"key":"576_CR9","doi-asserted-by":"crossref","unstructured":"Dzhafarov, D., Jockusch, C., Solomon, R., Westrick, L.B.: Effectiveness of Hindman\u2019s Theorem for bounded sums. In: Day, A., Fellows, M., Greenberg, N., Khoussainov, B., Melnikov, A. (eds.) Proceedings of the International Symposium on Computability and Complexity (in Honour of Rod Downey\u2019s 60th birthday). Lecture Notes in Computer Science, pp. 134\u2013142. Springer (2017)","DOI":"10.1007\/978-3-319-50062-1_11"},{"issue":"2","key":"576_CR10","first-page":"341","volume":"36","author":"N Hindman","year":"1972","unstructured":"Hindman, N.: The existence of certain ultrafilters on \n                        $$N$$\n                        \n                            \n                                N\n                            \n                        \n                     and a conjecture of Graham and Rothschild. Proc. Am. Math. Soc. 36(2), 341\u2013346 (1972)","journal-title":"Proc. Am. Math. Soc."},{"key":"576_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0097-3165(74)90023-5","volume":"17","author":"N Hindman","year":"1974","unstructured":"Hindman, N.: Finite sums from sequences within cells of a partition of N. J. Comb. Theory Ser. A 17, 1\u201311 (1974)","journal-title":"J. Comb. Theory Ser. A"},{"key":"576_CR12","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1017\/S0963548303005716","volume":"12","author":"N Hindman","year":"2003","unstructured":"Hindman, N., Leader, I., Strauss, D.: Open problems in partition regularity. Comb. Probab. Comput. 12, 571\u2013583 (2003)","journal-title":"Comb. Probab. Comput."},{"issue":"1\u20132","key":"576_CR13","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s00153-011-0257-4","volume":"51","author":"J Hirst","year":"2012","unstructured":"Hirst, J.: Hilbert vs Hindman. Arch. Math. Log. 51(1\u20132), 123\u2013125 (2012)","journal-title":"Arch. Math. Log."},{"key":"576_CR14","unstructured":"Ko\u0142odziejczyk, L.A., Michalewski, H., Pradic, P., Skrzypczak, M.: The logical strength of B\u00fcchi\u2019s decidability theorem. In: Reigner, L., Talbot, J.-M. (eds.) Proceedings of Computer Science Logic 2016, CSL 2016, August 29 to September 1, 2016, Marseille, France. Leibniz International Proceedings in Informatics, pp. 36:1\u201336:16. Dagstuhl Publishing (2016)"},{"issue":"3","key":"576_CR15","doi-asserted-by":"crossref","first-page":"431","DOI":"10.2178\/bsl\/1309952320","volume":"17","author":"A Montalb\u00e1n","year":"2011","unstructured":"Montalb\u00e1n, A.: Open questions in reverse mathematics. Bull. Symb. Log. 17(3), 431\u2013454 (2011)","journal-title":"Bull. Symb. Log."},{"key":"576_CR16","unstructured":"Patey, L., Yokoyama, K.: The proof theoretic strength of Ramsey\u2019s Theorem for pairs. Preprint (2016)"},{"key":"576_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic. Perspectives in Logic","author":"SG Simpson","year":"2009","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic. Perspectives in Logic, 2nd edn. Cambridge University Press, Cambridge (2009)","edition":"2"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0576-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0576-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0576-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,24]],"date-time":"2018-03-24T02:03:28Z","timestamp":1521857008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0576-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,24]]},"references-count":17,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["576"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0576-1","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,24]]}}}