{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:09Z","timestamp":1725512109233},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792277"},{"type":"electronic","value":"9783540792284"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79228-4_10","type":"book-chapter","created":{"date-parts":[[2008,4,29]],"date-time":"2008-04-29T05:07:56Z","timestamp":1209445676000},"page":"116-124","source":"Crossref","is-referenced-by-count":1,"title":["Definable Filters in the Structure of Bounded Turing Reductions"],"prefix":"10.1007","author":[{"given":"Angsheng","family":"Li","sequence":"first","affiliation":[]},{"given":"Weilin","family":"Li","sequence":"additional","affiliation":[]},{"given":"Yicheng","family":"Pan","sequence":"additional","affiliation":[]},{"given":"Linqing","family":"Tang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"880","DOI":"10.2307\/2275790","volume":"61","author":"K. Ambos-Spies","year":"1996","unstructured":"Ambos-Spies, K., Fejer, P.A., Lempp, S., Lerman, M.: Decidability of the two-quantifier theory of the recursively enumerable weak truthtable degrees and other distributive upper semi-lattices. Journal of Symbolic Logic\u00a061, 880\u2013905 (1996)","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0168-0072(93)90143-2","volume":"64","author":"K. Ambos-Spies","year":"1993","unstructured":"Ambos-Spies, K., Lachlan, A.H., Soare, R.I.: The continuity of cupping to 0\u2019. Annals of Pure and Applied Logic\u00a064, 195\u2013209 (1993)","journal-title":"Annals of Pure and Applied Logic"},{"key":"10_CR3","unstructured":"Brodhead, P., Li, A., Li, W.: Continuity of capping in \u03b5\n                  \n                    dT\n                   (to appear)"},{"key":"10_CR4","unstructured":"Cooper, S.B., Li, A.: On Lachlan\u2019s major subdegree problem (to appear)"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/978-1-4613-9754-0_4","volume-title":"Set Theory and the Continuum, Proceedings of Workshop on Set Theory and the Continuum","author":"L. Harrington","year":"1992","unstructured":"Harrington, L., Soare, R.I.: Games in recursion theory and continuity properties of capping degrees. In: Judah, H., Just, W., Woodin, W.H. (eds.) Set Theory and the Continuum, Proceedings of Workshop on Set Theory and the Continuum, MSRI, Berkeley, CA, October, 1989, pp. 39\u201362. Springer, Heidelberg (1992)"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"1118","DOI":"10.2307\/2275877","volume":"60","author":"A. Nies","year":"1995","unstructured":"Nies, A., Lempp, S.: The undecidability of the \u03a0\n                  4-theory for the r.e. wtt- and Turing degrees. Journal of Symbolic Logic\u00a060, 1118\u20131136 (1995)","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"2719","DOI":"10.1090\/S0002-9947-98-01800-5","volume":"350","author":"A. Nies","year":"1998","unstructured":"Nies, A., Lempp, S., Slaman, T.A.: The \u03a0\n                  3-theory of the enumerable Turing degrees is undecidable. Transactions of the American Mathematical Society\u00a0350, 2719\u20132736 (1998)","journal-title":"Transactions of the American Mathematical Society"},{"key":"10_CR8","unstructured":"Seetapun, D.: Contributions to Recursion Theory, Ph. D thesis, Trinity College (1991)"},{"key":"10_CR9","doi-asserted-by":"crossref","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)"},{"key":"10_CR10","unstructured":"Soare, R.I.: Computability Theory and Applications. Springer, Heidelberg (to appear)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79228-4_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:14:09Z","timestamp":1619522049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79228-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792277","9783540792284"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79228-4_10","relation":{},"subject":[]}}