{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T22:50:04Z","timestamp":1780527004293,"version":"3.54.1"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319500614","type":"print"},{"value":"9783319500621","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-50062-1_11","type":"book-chapter","created":{"date-parts":[[2016,11,30]],"date-time":"2016-11-30T10:09:42Z","timestamp":1480500582000},"page":"134-142","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Effectiveness of Hindman\u2019s Theorem for Bounded Sums"],"prefix":"10.1007","author":[{"given":"Damir D.","family":"Dzhafarov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"suffix":"Jr.","given":"Carl G.","family":"Jockusch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Reed","family":"Solomon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Linda Brown","family":"Westrick","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,12,1]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1016\/0097-3165(74)90103-4","volume":"17","author":"JE Baumgartner","year":"1974","unstructured":"Baumgartner, J.E.: A short proof of Hindman\u2019s theorem. J. Comb. Theor. Ser. A 17, 384\u2013386 (1974)","journal-title":"J. Comb. Theor. Ser. A"},{"key":"11_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, California, 1985). Contemporary Mathematics, American Mathematical Society, Providence R.I., vol. 65, pp. 125\u2013156 (1987)","DOI":"10.1090\/conm\/065\/891245"},{"key":"11_CR3","doi-asserted-by":"publisher","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 $$\\Sigma _2$$ formulas in second-order reverse mathematics. Proc. Am. Math. Soc. 138, 1093\u20131100 (2010)","journal-title":"Proc. Am. Math. Soc."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1090\/S0002-9904-1977-14316-4","volume":"83","author":"WW Comfort","year":"1977","unstructured":"Comfort, W.W.: Ultrafilters: some old and some new results. Bull. Am. Math. Soc. 83, 417\u2013455 (1977)","journal-title":"Bull. Am. Math. Soc."},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2694910","volume":"66","author":"PA Cholak","year":"2001","unstructured":"Cholak, P.A., Jockusch, C.G., Slaman, T.A.: On the strength of Ramsey\u2019s Theorem for pairs. J. Symbolic Logic 66, 1\u201355 (2001)","journal-title":"J. Symbolic Logic"},{"key":"11_CR6","doi-asserted-by":"publisher","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 $$\\mathbb{N}$$. J. Comb. Theor. Ser. A 17, 1\u201311 (1974)","journal-title":"J. Comb. Theor. Ser. A"},{"key":"11_CR7","doi-asserted-by":"publisher","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."},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"268","DOI":"10.2307\/2272972","volume":"37","author":"C Jockusch","year":"1972","unstructured":"Jockusch, C.: Ramsey\u2019s theorem and recursion theory. J. Symbolic Logic 37, 268\u2013280 (1972)","journal-title":"J. Symbolic Logic"},{"key":"11_CR9","first-page":"1","volume":"132","author":"A Rumyantsev","year":"2014","unstructured":"Rumyantsev, A., Shen, A.: Probabilistic constructions of computable objects and a computable version of Lov\u00e1sz local lemma. Fund. Inform. Russ. Finnish Symp. Discrete Math. 132, 1\u201314 (2014)","journal-title":"Fund. Inform. Russ. Finnish Symp. Discrete Math."},{"key":"11_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic","author":"S Simpson","year":"2009","unstructured":"Simpson, S.: Subsystems of Second Order Arithmetic, 2nd edn. Cambridge University Press, Association for Symbolic Logic, New York (2009)","edition":"2"},{"key":"11_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees","author":"RI Soare","year":"1987","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic. Springer, Heidelberg (1987)"},{"issue":"1","key":"11_CR12","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1215\/00294527-1626518","volume":"53","author":"H Towsner","year":"2012","unstructured":"Towsner, H.: A simple proof and some difficult examples for Hindman\u2019s Theorem. Notre Dame J. Formal Logic 53(1), 53\u201365 (2012)","journal-title":"Notre Dame J. Formal Logic"}],"container-title":["Lecture Notes in Computer Science","Computability and Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50062-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T16:55:39Z","timestamp":1709830539000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-50062-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,1]]},"ISBN":["9783319500614","9783319500621"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50062-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,1]]},"assertion":[{"value":"1 December 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}