{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T12:48:35Z","timestamp":1773233315901,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642030727","type":"print"},{"value":"9783642030734","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03073-4_11","type":"book-chapter","created":{"date-parts":[[2009,7,14]],"date-time":"2009-07-14T04:06:17Z","timestamp":1247544377000},"page":"99-108","source":"Crossref","is-referenced-by-count":1,"title":["$\\Sigma^0_1$ and $\\Pi^0_1$ Equivalence Structures"],"prefix":"10.1007","author":[{"given":"Douglas","family":"Cenzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentina","family":"Harizanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey B.","family":"Remmel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.apal.2005.10.002","volume":"141","author":"W. Calvert","year":"2006","unstructured":"Calvert, W., Cenzer, D., Harizanov, V., Morozov, A.: Effective categoricity of equivalence structures. Annals of Pure and Applied Logic\u00a0141, 61\u201378 (2006)","journal-title":"Annals of Pure and Applied Logic"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"535","DOI":"10.2178\/jsl\/1243948326","volume":"74","author":"D. Cenzer","year":"2009","unstructured":"Cenzer, D., LaForte, G., Remmel, J.B.: Equivalence structures and isomorphisms in the difference hierarchy. Journal of Symbolic Logic\u00a074, 535\u2013556 (2009)","journal-title":"Journal of Symbolic Logic"},{"key":"11_CR3","first-page":"1177","volume-title":"Handbook of Recursive Mathematics","author":"N.G. Khisamiev","year":"1998","unstructured":"Khisamiev, N.G.: Constructive Abelian groups. In: Ershov, Y.L., Goncharov, S.S., Nerode, A., Remmel, J.B. (eds.) Handbook of Recursive Mathematics, vol.\u00a02, pp. 1177\u20131231. North-Holland, Amsterdam (1998)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.apal.2008.06.010","volume":"156","author":"B. Khoussainov","year":"2008","unstructured":"Khoussainov, B., Stephan, F., Yang, Y.: Computable categoricity and the Ershov hierarchy. Annals of Pure and Applied Logic\u00a0156, 86\u201395 (2008)","journal-title":"Annals of Pure and Applied Logic"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0003-4843(77)90015-8","volume":"11","author":"G. Metakides","year":"1977","unstructured":"Metakides, G., Nerode, A.: Recursively enumerable vector spaces. Annals of Mathematical Logic\u00a011, 141\u2013171 (1977)","journal-title":"Annals of Mathematical Logic"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0003-4843(76)90010-3","volume":"11","author":"J.B. Remmel","year":"1976","unstructured":"Remmel, J.B.: Combinatorial functors on co-r.e. structures. Annals of Mathematical Logic\u00a011, 261\u2013287 (1976)","journal-title":"Annals of Mathematical Logic"},{"key":"11_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees","author":"R.I. Soare","year":"1987","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees. Springer, Berlin (1987)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Theory and Computational Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03073-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T23:51:53Z","timestamp":1552089113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03073-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030727","9783642030734"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03073-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}