{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T07:18:50Z","timestamp":1649056730078},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2018,11,29]],"date-time":"2018-11-29T00:00:00Z","timestamp":1543449600000},"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":["Arch. Math. Logic"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s00153-018-0654-z","type":"journal-article","created":{"date-parts":[[2018,11,28]],"date-time":"2018-11-28T21:08:40Z","timestamp":1543439320000},"page":"575-585","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Reverse mathematics and colorings of hypergraphs"],"prefix":"10.1007","volume":"58","author":[{"given":"Caleb","family":"Davis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffry","family":"Hirst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jake","family":"Pardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Ransom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,29]]},"reference":[{"key":"654_CR1","volume-title":"Hypergraphs, North-Holland Mathematical Library","author":"C Berge","year":"1989","unstructured":"Berge, C.: Hypergraphs, North-Holland Mathematical Library, vol. 45. North-Holland Publishing Co., Amsterdam (1989). (Combinatorics of finite sets, Translated from the French)"},{"issue":"3","key":"654_CR2","doi-asserted-by":"publisher","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 stable Ramsey\u2019s theorem for pairs. J. Am. Math. Soc. 27(3), 863\u2013892 (2014). \n                    https:\/\/doi.org\/10.1090\/S0894-0347-2014-00789-X","journal-title":"J. Am. Math. Soc."},{"key":"654_CR3","doi-asserted-by":"crossref","unstructured":"Davis, C., Hirschfeldt, D., Hirst, J., Pardo, J., Pauly, A., Yokoyama, K.: Combinatorial principles equivalent to weak induction (2018) (in preparation)","DOI":"10.3233\/COM-180244"},{"issue":"4","key":"654_CR4","doi-asserted-by":"publisher","first-page":"1211","DOI":"10.1017\/jsl.2015.43","volume":"80","author":"FG Dorais","year":"2015","unstructured":"Dorais, F.G., Hirst, J.L., Shafer, P.: Comparing the strength of diagonally nonrecursive functions in the absence of \n                    \n                      \n                    \n                    $${\\varSigma }_ {2}^{0}$$\n                    \n                      \n                        \n                          \u03a3\n                          \n                            2\n                          \n                          0\n                        \n                      \n                    \n                   induction. J. Symb. Log. 80(4), 1211\u20131235 (2015). \n                    https:\/\/doi.org\/10.1017\/jsl.2015.43","journal-title":"J. Symb. Log."},{"key":"654_CR5","series-title":"Contemporary Mathematics","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1090\/conm\/106\/1057822","volume-title":"Logic and Computation (Pittsburgh, PA, 1987)","author":"JL Hirst","year":"1990","unstructured":"Hirst, J.L.: Marriage theorems and reverse mathematics. In: Sieg, W. (ed.) Logic and Computation (Pittsburgh, PA, 1987). Contemporary Mathematics, vol. 106, pp. 181\u2013196. American Mathematical Society, Providence (1990). \n                    https:\/\/doi.org\/10.1090\/conm\/106\/1057822"},{"key":"654_CR6","first-page":"113","volume-title":"Foundational Adventures, Tributes","author":"JL Hirst","year":"2014","unstructured":"Hirst, J.L.: Disguising induction: proofs of the pigeonhole principle for trees. In: Tennant, N. (ed.) Foundational Adventures, Tributes, vol. 22, pp. 113\u2013123. College Publications, London (2014)"},{"issue":"1","key":"654_CR7","doi-asserted-by":"publisher","first-page":"1650004","DOI":"10.1142\/S0219061316500045","volume":"16","author":"AP Kreuzer","year":"2016","unstructured":"Kreuzer, A.P., Yokoyama, K.: On principles between \n                    \n                      \n                    \n                    $${\\varSigma }_{1}$$\n                    \n                      \n                        \n                          \u03a3\n                          1\n                        \n                      \n                    \n                  - and \n                    \n                      \n                    \n                    $${\\varSigma }_{2}$$\n                    \n                      \n                        \n                          \u03a3\n                          2\n                        \n                      \n                    \n                  -induction, and monotone enumerations. J. Math. Log. 16(1), 1650004 (2016). \n                    https:\/\/doi.org\/10.1142\/S0219061316500045","journal-title":"J. Math. Log."},{"key":"654_CR8","series-title":"Perspectives in Logic","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic","author":"SG Simpson","year":"2009","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic. Perspectives in Logic, 2nd edn. Cambridge University Press, Cambridge (2009). \n                    https:\/\/doi.org\/10.1017\/CBO9780511581007","edition":"2"},{"key":"654_CR9","series-title":"Bolyai Society Mathematical Studies","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-41498-5_12","volume-title":"Geometry\u2014Intuitive, Discrete, and Convex","author":"S Smorodinsky","year":"2013","unstructured":"Smorodinsky, S.: Conflict-free coloring and its applications. In: B\u00e1r\u00e1ny, I., B\u00f6r\u00f6czky, K.J., T\u00e1th, G.F., Pach, J. (eds.) Geometry\u2014Intuitive, Discrete, and Convex. Bolyai Society Mathematical Studies, vol. 24, pp. 331\u2013389. J\u00e1nos Bolyai Mathematical Society, Budapest (2013). \n                    https:\/\/doi.org\/10.1007\/978-3-642-41498-5_12"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-018-0654-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-018-0654-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-018-0654-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,28]],"date-time":"2019-11-28T19:06:03Z","timestamp":1574967963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-018-0654-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,29]]},"references-count":9,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["654"],"URL":"https:\/\/doi.org\/10.1007\/s00153-018-0654-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11,29]]},"assertion":[{"value":"5 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 November 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 November 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}