{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:13:26Z","timestamp":1725488006987},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730002"},{"type":"electronic","value":"9783540730019"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73001-9_15","type":"book-chapter","created":{"date-parts":[[2007,7,24]],"date-time":"2007-07-24T11:16:31Z","timestamp":1185275791000},"page":"146-151","source":"Crossref","is-referenced-by-count":0,"title":["Pseudojump Operators and $\\Pi^0_1$ Classes"],"prefix":"10.1007","author":[{"given":"Douglas","family":"Cenzer","sequence":"first","affiliation":[]},{"given":"Geoffrey","family":"LaForte","sequence":"additional","affiliation":[]},{"given":"Guohua","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Cenzer, D., Remmel, J.B.: \n \n \n \n $\\Pi^0_1$\n classes in mathematics, In: Ershov, Y., Goncharov, S., Nerode, A., Remmel, J. (eds.) Handbook of Recursive Mathematics, Part Two, Elsevier Studies in Logic. vol. 139 pp. 623-821. (1998)","DOI":"10.1016\/S0049-237X(98)80046-3"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.apal.2003.07.001","volume":"136","author":"R. Coles","year":"2005","unstructured":"Coles, R., Downey, R., Jockusch, C., LaForte, G.: Completing pseudojump operators. Ann. Pure and Appl. Logic\u00a0136, 297\u2013333 (2005)","journal-title":"Ann. Pure and Appl. Logic"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2964177","volume":"22","author":"R.M. Friedberg","year":"1957","unstructured":"Friedberg, R.M.: A criterion for completeness of degrees of unsolvability. J. Symbolic Logic\u00a022, 159\u2013160 (1957)","journal-title":"J. Symbolic Logic"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.2307\/2272348","volume":"39","author":"C.G. Jockusch","year":"1974","unstructured":"Jockusch, C.G.: \n \n \n \n $\\Pi^0_1$\n classes and boolean combinations of recursively enumerable sets. J. Symbolic Logic\u00a039, 95\u201396 (1974)","journal-title":"J. Symbolic Logic"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"605","DOI":"10.2140\/pjm.1972.40.605","volume":"40","author":"C.G. Jockusch","year":"1972","unstructured":"Jockusch, C.G., Soare, R.: Degrees of members of \n \n \n \n $\\Pi^0_1$\n classes. Pacific J. Math\u00a040, 605\u2013616 (1972)","journal-title":"Pacific J. Math"},{"key":"15_CR6","first-page":"35","volume":"173","author":"C. Jockusch","year":"1972","unstructured":"Jockusch, C., Soare, R.: \n \n \n \n $\\Pi^0_1$\n classes and degrees of theories. Trans. Amer. Math. Soc\u00a0173, 35\u201356 (1972)","journal-title":"Trans. Amer. Math. Soc"},{"key":"15_CR7","first-page":"599","volume":"275","author":"C. Jockusch","year":"1983","unstructured":"Jockusch, C., Shore, R.: Pseudojump operators I: the r.e. case. Trans. Amer. Math. Soc\u00a0275, 599\u2013609 (1983)","journal-title":"Trans. Amer. Math. Soc"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2178\/bsl\/1107959497","volume":"11","author":"S. Simpson","year":"2005","unstructured":"Simpson, S.: Mass problems and randomness. Bull. Symbolic Logic\u00a011, 1\u201327 (2005)","journal-title":"Bull. Symbolic Logic"},{"key":"15_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees","author":"R. Soare","year":"1987","unstructured":"Soare, R.: Recursively Enumerable Sets and Degrees. Springer, Heidelberg (1987)"}],"container-title":["Lecture Notes in Computer Science","Computation and Logic in the Real World"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73001-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:30:30Z","timestamp":1558470630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73001-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730002","9783540730019"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73001-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}