{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:54:53Z","timestamp":1725605693207},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642218743"},{"type":"electronic","value":"9783642218750"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21875-0_8","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T11:51:59Z","timestamp":1315482719000},"page":"71-80","source":"Crossref","is-referenced-by-count":0,"title":["Cupping and Diamond Embeddings: A Unifying Approach"],"prefix":"10.1007","author":[{"given":"Chengling","family":"Fang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guohua","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1090\/S0002-9947-1984-0719661-8","volume":"128","author":"K. Ambos-Spies","year":"1984","unstructured":"Ambos-Spies, K., Jockusch Jr., C.G., Shore, R.A., Soare, R.I.: An algebraic decomposition of the recursively enumerable degrees and the coincidence of several classes with the promptly simple degrees. Trans. Amer. Math. Soc.\u00a0128, 109\u2013128, 537-569 (1984)","journal-title":"Trans. Amer. Math. Soc."},{"key":"8_CR2","first-page":"270","volume":"283","author":"M.M. Arslanov","year":"1985","unstructured":"Arslanov, M.M.: Structural properties of the degrees below 0\u2032. Dokl. Akad, Nauk SSSR(N.\u00a0S.)\u00a0283, 270\u2013273 (1985)","journal-title":"Dokl. Akad, Nauk SSSR(N.\u00a0S.)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90005-7","volume":"55","author":"S.B. Cooper","year":"1991","unstructured":"Cooper, S.B., Harrington, L., Lachlan, A.H., Lempp, S., Soare, R.I.: The d.r.e. degrees are not dense. Ann. Pure Appl. Logic\u00a055, 125\u2013151 (1991)","journal-title":"Ann. Pure Appl. Logic"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1112\/blms\/21.1.43","volume":"21","author":"R. Downey","year":"1989","unstructured":"Downey, R.: D.r.e. degrees and the nondiamond theorem. Bull. London Math. Soc.\u00a021, 43\u201350 (1989)","journal-title":"Bull. London Math. Soc."},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.apal.2003.10.002","volume":"125","author":"R. Downey","year":"2004","unstructured":"Downey, R., Li, A., Wu, G.: Complementing cappable degrees in the difference hierachy. Annals of pure and applied logic\u00a0125, 101\u2013118 (2004)","journal-title":"Annals of pure and applied logic"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1007\/11750321_68","volume-title":"Theory and Applications of Models of Computation","author":"A. Li","year":"2006","unstructured":"Li, A., Song, Y., Wu, G.: Universal cupping degrees. In: Cai, J.-Y., Cooper, S.B., Li, A. (eds.) TAMC 2006. LNCS, vol.\u00a03959, pp. 721\u2013730. Springer, Heidelberg (2006)"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1112\/S0024611599011818","volume":"79","author":"A. Li","year":"1999","unstructured":"Li, A., Yi, X.: Cupping the recursively enumerable degrees by d.r.e. degrees. Proc. London Math. Soc.\u00a079, 1\u201321 (1999)","journal-title":"Proc. London Math. Soc."},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-13962-8_30","volume-title":"Programs, Proofs, Processes","author":"J. Liu","year":"2010","unstructured":"Liu, J., Wu, G.: Degrees with almost universal cupping property. In: Ferreira, F., L\u00f6we, B., Mayordomo, E., Mendes Gomes, L. (eds.) CiE 2010. LNCS, vol.\u00a06158, pp. 266\u2013275. Springer, Heidelberg (2010)"},{"key":"8_CR9","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)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"1055","DOI":"10.2178\/jsl\/1190150148","volume":"67","author":"G. Wu","year":"2002","unstructured":"Wu, G.: Isolation and lattice embeddings. Journal of Symbolic Logic\u00a067, 1055\u20131064 (2002)","journal-title":"Journal of Symbolic Logic"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2269807","volume":"31","author":"C.E.M. Yates","year":"1966","unstructured":"Yates, C.E.M.: A minimal pair of recursively enumerable degrees. J. Symbolic Logic\u00a031, 159\u2013168 (1966)","journal-title":"J. Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Models of Computation in Context"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21875-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,2]],"date-time":"2019-04-02T09:35:58Z","timestamp":1554197758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21875-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642218743","9783642218750"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21875-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}