{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T02:39:44Z","timestamp":1777516784461,"version":"3.51.4"},"reference-count":16,"publisher":"SAGE Publications","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["COM"],"published-print":{"date-parts":[[2019,9,20]]},"DOI":"10.3233\/com-180094","type":"journal-article","created":{"date-parts":[[2018,6,5]],"date-time":"2018-06-05T14:29:38Z","timestamp":1528208978000},"page":"253-263","source":"Crossref","is-referenced-by-count":7,"title":["The reverse mathematics of Hindman\u2019s Theorem for sums of exactly two elements"],"prefix":"10.1177","volume":"8","author":[{"given":"Barbara F.","family":"Csima","sequence":"first","affiliation":[{"name":"Department of Pure Mathematics, University of Waterloo, 200 University Ave.\u00a0West, Waterloo, ON, Canada N2L 3G1. jockusch@math.uiuc.edu"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damir D.","family":"Dzhafarov","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Connecticut, 341 Mansfield Road U1009, Storrs, CT, 06269, U.S.A.. david.solomon@uconn.edu"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis R.","family":"Hirschfeldt","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Chicago, 5734 S. University Ave., Chicago, IL, 60637, U.S.A.. linda.westrick@uconn.edu"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl G.","family":"Jockusch, Jr.","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Illinois, 1409 W. Green Street, Urbana, IL, 60801, U.S.A.. jockusch@math.uiuc.edu"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reed","family":"Solomon","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Connecticut, 341 Mansfield Road U1009, Storrs, CT, 06269, U.S.A.. david.solomon@uconn.edu"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linda","family":"Brown Westrick","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Connecticut, 341 Mansfield Road U1009, Storrs, CT, 06269, U.S.A.. linda.westrick@uconn.edu"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/COM-180094_ref1","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/065\/891245"},{"key":"10.3233\/COM-180094_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-58741-7_21"},{"key":"10.3233\/COM-180094_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50062-1_11"},{"key":"10.3233\/COM-180094_ref5","unstructured":"P.\u00a0Erd\u0151s and L.\u00a0Lov\u00e1sz, Problems and results on 3-chromatic hypergraphs and some related questions, in: Infinite and Finite Sets, Vol. II, A.\u00a0Hajnal, R.\u00a0Rado and V.T.\u00a0S\u00f3s, eds, Colloquia Mathematica Societatis J\u00e1nos Bolyai, Vol.\u00a010, North-Holland, Amsterdam, 1975, pp.\u00a0609\u2013627."},{"key":"10.3233\/COM-180094_ref6","unstructured":"R.L.\u00a0Graham, B.L.\u00a0Rothschild and J.H.\u00a0Spencer, Ramsey Theory, 2nd edn, Wiley-Interscience Series in Discrete Mathematics and Optimization, John Wiley & Sons, Inc., New York, 1990."},{"issue":"1","key":"10.3233\/COM-180094_ref7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0097-3165(74)90023-5","article-title":"Finite sums from sequences within cells of a partition of N","volume":"17","author":"Hindman","year":"1974","journal-title":"Journal of Combinatorial Theory Series A"},{"issue":"5\u20136","key":"10.3233\/COM-180094_ref8","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1017\/S0963548303005716","article-title":"Open problems in partition regularity","volume":"12","author":"Hindman","year":"2003","journal-title":"Combinatorics, Probability and Computing"},{"key":"10.3233\/COM-180094_ref9","doi-asserted-by":"crossref","unstructured":"D.R.\u00a0Hirschfeldt, Slicing the Truth, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, Vol.\u00a028, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2015.","DOI":"10.1017\/bsl.2015.18"},{"issue":"2","key":"10.3233\/COM-180094_ref10","doi-asserted-by":"publisher","first-page":"268","DOI":"10.2307\/2272972","article-title":"Ramsey\u2019s theorem and recursion theory","volume":"37","author":"Jockusch","year":"1972","journal-title":"The Journal of Symbolic Logic"},{"key":"10.3233\/COM-180094_ref11","doi-asserted-by":"crossref","unstructured":"C.G.\u00a0Jockusch Jr., Degrees of functions with no fixed points, in: Logic, Methodology, and Philosophy of Science VIII, Moscow, 1987, J.E.\u00a0Fenstad, I.T.\u00a0Frolov and R.\u00a0Hilpinen, eds, Studies in Logic and the Foundations of Mathematics, Vol.\u00a0126, North-Holland, Amsterdam, 1989, pp.\u00a0191\u2013201.","DOI":"10.1016\/S0049-237X(08)70045-4"},{"issue":"2","key":"10.3233\/COM-180094_ref12","doi-asserted-by":"publisher","first-page":"609","DOI":"10.2178\/jsl\/1333566640","article-title":"RT 2 2 does not imply WKL0","volume":"77","author":"Liu","year":"2012","journal-title":"The Journal of Symbolic Logic"},{"key":"10.3233\/COM-180094_ref13","doi-asserted-by":"publisher","DOI":"10.1090\/proc\/14269"},{"key":"10.3233\/COM-180094_ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1667053.1667060"},{"key":"10.3233\/COM-180094_ref15","doi-asserted-by":"crossref","unstructured":"S.\u00a0Murakami, T.\u00a0Yamazaki and K.\u00a0Yokoyama, On the Ramseyan factorization theorem, in: Language, Life, Limits: CiE 2014, A.\u00a0Beckmann, E.\u00a0Csuhaj-Varj\u00fa and K.\u00a0Meer, eds, Springer, Cham, Germany, 2014, pp.\u00a0324\u2013332.","DOI":"10.1007\/978-3-319-08019-2_33"},{"issue":"1","key":"10.3233\/COM-180094_ref17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2014-1029","article-title":"Probabilistic constructions of computable objects and a computable version of Lov\u00e1sz Local Lemma","volume":"132","author":"Rumyantsev","year":"2014","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"10.3233\/COM-180094_ref18","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0012-365X(77)90044-9","article-title":"Asymptotic lower bounds for Ramsey functions","volume":"20","author":"Spencer","year":"1977","journal-title":"Discrete Mathematics"}],"container-title":["Computability"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/COM-180094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T16:00:00Z","timestamp":1777392000000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/COM-180094"}},"subtitle":[],"editor":[{"given":"Vasco","family":"Brattka","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Rod","family":"Downey","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Julia F.","family":"Knight","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Steffen","family":"Lempp","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2019,9,20]]},"references-count":16,"journal-issue":{"issue":"3-4"},"URL":"https:\/\/doi.org\/10.3233\/com-180094","relation":{},"ISSN":["2211-3576","2211-3568"],"issn-type":[{"value":"2211-3576","type":"electronic"},{"value":"2211-3568","type":"print"}],"subject":[],"published":{"date-parts":[[2019,9,20]]}}}