{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:22:55Z","timestamp":1740108175134,"version":"3.37.3"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2016,5,5]],"date-time":"2016-05-05T00:00:00Z","timestamp":1462406400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,5,5]],"date-time":"2016-05-05T00:00:00Z","timestamp":1462406400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000893","name":"Simons Foundation","doi-asserted-by":"publisher","award":["315188"],"award-info":[{"award-number":["315188"]}],"id":[{"id":"10.13039\/100000893","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["0901020"],"award-info":[{"award-number":["0901020"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["0852811"],"award-info":[{"award-number":["0852811"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1161175"],"award-info":[{"award-number":["1161175"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["0841223"],"award-info":[{"award-number":["0841223"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s00153-016-0488-5","type":"journal-article","created":{"date-parts":[[2016,5,5]],"date-time":"2016-05-05T06:31:49Z","timestamp":1462429909000},"page":"687-704","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The strength of the Gr\u00e4tzer-Schmidt theorem"],"prefix":"10.1007","volume":"55","author":[{"given":"Katie","family":"Brodhead","sequence":"first","affiliation":[]},{"given":"Mushfeq","family":"Khan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6199-1755","authenticated-orcid":false,"given":"Bj\u00f8rn","family":"Kjos-Hanssen","sequence":"additional","affiliation":[]},{"given":"William A.","family":"Lampe","sequence":"additional","affiliation":[]},{"given":"Paul Kim Long V.","family":"Nguyen","sequence":"additional","affiliation":[]},{"given":"Richard A.","family":"Shore","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,5]]},"reference":[{"key":"488_CR1","doi-asserted-by":"crossref","unstructured":"Brodhead, P., Kjos-Hanssen, B.: The strength of the Gr\u00e4tzer-Schmidt theorem. In: Mathematical Theory and Computational Practice, pp. 59\u201367 (2009)","DOI":"10.1007\/978-3-642-03073-4_7"},{"key":"488_CR2","unstructured":"Cholak, P.A., Jockusch, C.G., Slaman, T.A.: On the strength of Ramsey\u2019s theorem for pairs. J. Symb. Log. 66(1), 1\u201355 (2001)"},{"key":"488_CR3","first-page":"34","volume":"24","author":"G Gr\u00e4tzer","year":"1963","unstructured":"Gr\u00e4tzer, G., Schmidt, E.T.: Characterizations of congruence lattices of abstract algebras. Acta Sci. Math. (Szeged) 24, 34\u201359 (1963)","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"488_CR4","unstructured":"Gr\u00e4tzer, G.: General Lattice Theory. Birkh\u00e4user, Basel (2003). With appendices by Davey, B.A., Freese, R., Ganter, B., Greferath, M., Jipsen, P., Priestley, H.A., Rose, H., Schmidt, E.T., Schmidt, S.E., Wehrung, F., Wille, R., Reprint of the 1998, 2nd edn"},{"key":"488_CR5","unstructured":"Kjos-Hanssen, B.: Local initial segments of the Turing degrees. Bull. Symb. Log. 9(1), 26\u201336 (2003)"},{"key":"488_CR6","unstructured":"Odifreddi, P.: Classical recursion theory, Studies in Logic and the Foundations of Mathematics, vol. 125. North-Holland Publishing Co., Amsterdam. The theory of functions and sets of natural numbers. With a foreword by Sacks, G.E. (1989)"},{"key":"488_CR7","unstructured":"Pavel, P.: A new proof of the congruence lattice representation theorem. Algebra Universalis 6(3), 269\u2013275 (1976)"},{"key":"488_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12013-2","volume-title":"Higher Recursion Theory, Perspectives in Mathematical Logic","author":"GE Sacks","year":"1990","unstructured":"Sacks, G.E.: Higher Recursion Theory, Perspectives in Mathematical Logic. Springer, Berlin (1990)"},{"key":"488_CR9","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic, Second, Perspectives in Logic. Cambridge University Press, Cambridge; Association for Symbolic Logic, Poughkeepsie, NY (2009)"},{"key":"488_CR10","doi-asserted-by":"crossref","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees, Perspectives in Mathematical Logic. Springer, Berlin (1987). A study of computable functions and computably generated sets","DOI":"10.1007\/978-3-662-02460-7"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0488-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0488-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0488-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0488-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,15]],"date-time":"2020-05-15T18:29:39Z","timestamp":1589567379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0488-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,5]]},"references-count":10,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["488"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0488-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2016,5,5]]},"assertion":[{"value":"17 August 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 April 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 May 2016","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}