{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T15:15:15Z","timestamp":1648566915809},"reference-count":1,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2016,12,21]],"date-time":"2016-12-21T00:00:00Z","timestamp":1482278400000},"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":[[2017,2]]},"DOI":"10.1007\/s00153-016-0519-2","type":"journal-article","created":{"date-parts":[[2016,12,21]],"date-time":"2016-12-21T12:23:42Z","timestamp":1482323022000},"page":"155-160","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Computable Ramsey\u2019s theorem for pairs needs infinitely many $$\\Pi ^0_2$$ \u03a0 2 0 sets"],"prefix":"10.1007","volume":"56","author":[{"given":"Gregory","family":"Igusa","sequence":"first","affiliation":[]},{"given":"Henry","family":"Towsner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,21]]},"reference":[{"key":"519_CR1","doi-asserted-by":"crossref","first-page":"268","DOI":"10.2307\/2272972","volume":"37","author":"C Jockusch","year":"1972","unstructured":"Jockusch, C.: Ramsey\u2019s theorem and recursion theory. J. Symb. Logic 37, 268\u2013280 (1972)","journal-title":"J. Symb. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0519-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0519-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0519-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T06:27:30Z","timestamp":1498372050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0519-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,21]]},"references-count":1,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2017,2]]}},"alternative-id":["519"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0519-2","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,21]]}}}