{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:04:47Z","timestamp":1726412687702},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571841"},{"type":"electronic","value":"9783540479437"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"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":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bfb0022574","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:14:45Z","timestamp":1131862485000},"page":"255-262","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Interpreting true arithmetic in degree structures"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"Nies","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,11]]},"reference":[{"issue":"no.3","key":"28_CR1","doi-asserted-by":"crossref","first-page":"864","DOI":"10.2307\/2275436","volume":"57","author":"K. Ambos-Spies","year":"1992","unstructured":"K. Ambos-Spies, A. Nies, R. Shore. The theory of the r.e. weak truth-table degrees is undecidable. J. Symb. Logic, vol. 57, no. 3, Sept 1992, 864\u2013874.","journal-title":"J. Symb. Logic"},{"key":"28_CR2","unstructured":"A. Nies. Definability and Undecidability in Recursion Theoretic Semilattices. Ph.D. thesis, Universit\u00e4t Heidelberg, 1992."},{"key":"28_CR3","unstructured":"A. Nies. The last question on recursively enumerable many-one degrees. Submitted."},{"key":"28_CR4","unstructured":"A. Nies, R. Shore. Interpreting arithmetic in the theory of the r.e. truth table degrees. Submitted."},{"key":"28_CR5","unstructured":"A. Nies, R. Shore. Interpreting true arithmetic in the theory of the tt-and wtt-degrees below \u00d8'. In preparation."},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"The theory of the degrees below \u00d8'. J. London Math. Soc (2), 24 (1981), 1\u201314.","DOI":"10.1112\/jlms\/s2-24.1.1"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"T. Slaman, J. Shinoda. On the theory of the PTIME degrees of the recursive sets (abstract). Structure in Compl. Theory 4th conference, IEEE Comput. SocPress, 1989.","DOI":"10.1109\/SCT.1988.5285"},{"key":"28_CR8","unstructured":"T. Slaman, W. Woodin. Definability in degree structures."}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T04:35:46Z","timestamp":1578544546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022574"}},"subtitle":["A survey"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571841","9783540479437"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0022574","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"11 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}