{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T17:18:40Z","timestamp":1709831920888},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1985,12]]},"DOI":"10.1007\/bf02007561","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T08:49:28Z","timestamp":1123750168000},"page":"109-126","source":"Crossref","is-referenced-by-count":7,"title":["Cupping and noncapping in the r.e. weak truth table and turing degrees"],"prefix":"10.1007","volume":"25","author":[{"given":"Klaus","family":"Ambos-Spies","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02007561_CR1","unstructured":"Ambos-Spies, K.: On the structure of the recursively enumerable degrees, Dissertation, Universit\u00e4t M\u00fcnchen, 1980"},{"key":"BF02007561_CR2","doi-asserted-by":"crossref","first-page":"586","DOI":"10.2307\/2274191","volume":"49","author":"K. Ambos-Spies","year":"1984","unstructured":"Ambos-Spies, K.: An extension of the non-diamond theorem in classical and \u03b1-recursion theory, J. Symbolic Logic49, 586\u2013607 (1984).","journal-title":"J. Symbolic Logic"},{"key":"BF02007561_CR3","first-page":"1","volume-title":"Lecture Notes in Mathematics 1104","author":"K. Ambos-Spies","year":"1984","unstructured":"Ambos-Spies, K.: Contiguous r.e. degrees, Computation and Proof Theory, Proceedings, Logic Colloquium Aachen 1983, Part II, M.M. Richter et al., eds., Lecture Notes in Mathematics 1104, Springer Verlag, Berlin and New York, 1984, pp. 1\u201337."},{"key":"BF02007561_CR4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1090\/S0002-9947-1984-0719661-8","volume":"281","author":"K. Ambos-Spies","year":"1984","unstructured":"Ambos-Spies, K., Jockusch, C.G., Jr., Shore, R.A., Soare, R.I.: An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees. Trans. Amer. Math. Soc.281, 109\u2013128 (1984)","journal-title":"Trans. Amer. Math. Soc."},{"key":"BF02007561_CR5","unstructured":"Cohen, P.F.: Weak truth table reducibility and the pointwise ordering of the 1-1 recursive functions. Ph. D. Dissertation, Univ. of Illinois at Urbana-Champaign, 1975."},{"key":"BF02007561_CR6","first-page":"49","volume-title":"Lecture Notes in Mathematics 859","author":"P.A. Fejer","year":"1980","unstructured":"Fejer, P.A., Soare, R.I.: The plus-cupping theorem for the recursively enumerable degrees, Proceedings of Logic Year 1979\u201380, M. Lerman et al., eds., Lecture Notes in Mathematics 859, Springer Verlag, Berlin and New York, 1980, pp. 49\u201362."},{"key":"BF02007561_CR7","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1112\/plms\/s3-16.1.537","volume":"16","author":"A.H. Lachlan","year":"1966","unstructured":"Lachlan, A.H.: Lower bounds for pairs of r.e. degrees, Proc. London Math. Soc.16, 537\u2013569 (1966).","journal-title":"Proc. London Math. Soc."},{"key":"BF02007561_CR8","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BFb0059544","volume-title":"Embedding nondistributive lattices in the recursively enumerable degrees, Conference in Math. Logic London 1970","author":"A.H. Lachlan","year":"1972","unstructured":"Lachlan, A.H.: Embedding nondistributive lattices in the recursively enumerable degrees, Conference in Math. Logic London 1970, Lecture Notes in Mathematics 255, Springer Verlag, Berlin and New York, 1972, pp. 149\u2013177."},{"key":"BF02007561_CR9","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1016\/0003-4843(75)90007-8","volume":"4","author":"R.E. Ladner","year":"1975","unstructured":"Ladner, R.E., Sasso, L.P.: The weak truth table degrees of recursively enumerable sets, Ann. Math. Logic4, 429\u2013448 (1975).","journal-title":"Ann. Math. Logic"},{"key":"BF02007561_CR10","doi-asserted-by":"crossref","first-page":"809","DOI":"10.2307\/2273100","volume":"47","author":"W. Maass","year":"1982","unstructured":"Maass, W.: Recursively enumerable generic sets, J. Symbolic Logic47, 809\u2013823 (1982).","journal-title":"J. Symbolic Logic"},{"key":"BF02007561_CR11","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/BF02760850","volume":"39","author":"W. Maass","year":"1981","unstructured":"Maass, W., Shore, R.A., Stob, M.: Splitting properties and jump classes, Israel J. Math.39, 210\u2013224 (1981).","journal-title":"Israel J. Math."},{"key":"BF02007561_CR12","first-page":"230","volume-title":"Lecture Notes in Mathematics 859","author":"D. Miller","year":"1980","unstructured":"Miller, D.: High recursively enumerable degrees and the anti-cupping property, Proceedings of Logic Year 1979\u201380, M. Lerman et al., eds., Lecture Notes in Mathematics 859, Springer Verlag, Berlin and New York, 1980, pp. 230\u2013267."},{"key":"BF02007561_CR13","volume-title":"Theory of recursive functions and effective computability","author":"H. Rogers Jr.","year":"1967","unstructured":"Rogers, H., Jr.: Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967."},{"key":"BF02007561_CR14","volume-title":"Ann. of Math. Studies 55","author":"G.E. Sacks","year":"1966","unstructured":"Sacks, G.E.: Degrees of unsolvability, (rev. ed.), Ann. of Math. Studies 55, Princeton Univ. Press, Princeton, N.J., 1966."},{"key":"BF02007561_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/CBO9780511629181.002","volume-title":"Fundamental methods for constructing recursively enumerable degrees, Recursion theory: its generalisations and applications","author":"R.I. Soare","year":"1980","unstructured":"Soare, R.I.: Fundamental methods for constructing recursively enumerable degrees, Recursion theory: its generalisations and applications, F. R. Drake and S. S. Wainer, eds., Cambridge Univ. Press, Cambridge, 1980, pp. 1\u201351."},{"key":"BF02007561_CR16","doi-asserted-by":"crossref","first-page":"921","DOI":"10.2307\/2273658","volume":"48","author":"M. Stob","year":"1983","unstructured":"Stob, M.: Wtt-degrees and T-degrees of r.e. sets, J. Symbolic Logic48, 921\u2013930 (1983).","journal-title":"J. Symbolic Logic"},{"key":"BF02007561_CR17","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1002\/malq.19710170131","volume":"17","author":"S.K. Thomason","year":"1971","unstructured":"Thomason, S.K.: Sublattices of the recursively enumerable degrees, Zeitschrift f. Math. Logik u. Grundlagen d. Mathematik17, 273\u2013280 (1971)","journal-title":"Zeitschrift f. Math. Logik u. Grundlagen d. Mathematik"},{"key":"BF02007561_CR18","unstructured":"Welch, L.: A hierarchy of families of recursively enumerable degrees and a theorem on bounding minimal pairs, Ph. D. Dissertation, Univ. of Illinois at Urbana-Champaign, 1981."},{"key":"BF02007561_CR19","doi-asserted-by":"crossref","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 r.e. degrees, J. Symbolic Logic31, 159\u2013168 (1966).","journal-title":"J. Symbolic Logic"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007561.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007561\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007561","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T07:29:37Z","timestamp":1557818977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007561"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF02007561"],"URL":"https:\/\/doi.org\/10.1007\/bf02007561","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}