{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T18:10:28Z","timestamp":1758737428762,"version":"3.44.0"},"reference-count":173,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444898821"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s0049-237x(99)80020-2","type":"book-chapter","created":{"date-parts":[[2007,9,7]],"date-time":"2007-09-07T16:52:47Z","timestamp":1189183967000},"page":"121-153","source":"Crossref","is-referenced-by-count":4,"title":["Local Degree Theory"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S0049-237X(99)80020-2_bib1","article-title":"Some results on the structure of the \u03a32 enumeration degrees","volume":"38","author":"Ahmad","year":"1989","journal-title":"Recursive Function Theory Newsletter"},{"key":"10.1016\/S0049-237X(99)80020-2_bib2","doi-asserted-by":"crossref","first-page":"195","DOI":"10.2307\/2274914","article-title":"Embedding the diamond in the \u03a32 enumeration degrees","volume":"50","author":"Ahmad","year":"1991","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib3","first-page":"3","article-title":"Automorphism bases for the r.e. degrees (abstract)","author":"Ambos-Spies","year":"1983"},{"key":"10.1016\/S0049-237X(99)80020-2_bib4","first-page":"9","article-title":"On some generalisations of the theorem on fixed points","volume":"228","author":"Arslanov","year":"1981","journal-title":"Izv. Vyssh. Uchebn. Zaved. Mat"},{"key":"10.1016\/S0049-237X(99)80020-2_bib5","first-page":"270","article-title":"Structural properties of the degrees below 0\u2032","volume":"283","author":"Arslanov","year":"1985","journal-title":"Dokl. Akad. Nauk SSSR, N.S."},{"key":"10.1016\/S0049-237X(99)80020-2_bib6","article-title":"On the structure of degrees below 0\u2032","volume":"Vol. 1432","author":"Arslanov","year":"1990"},{"key":"10.1016\/S0049-237X(99)80020-2_bib7","first-page":"61","article-title":"On isolating r.e. and isolated d-r.e. degrees","author":"Arslanov","year":"1996"},{"key":"10.1016\/S0049-237X(99)80020-2_bib8","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0168-0072(96)00014-0","article-title":"Interpolating d-r.e. and REA degrees between r.e. degrees","volume":"78","author":"Arslanov","year":"1996","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib9","doi-asserted-by":"crossref","first-page":"1364","DOI":"10.2307\/2275821","article-title":"The\n\t\t\t\t\t\t\t\t\u03a020 e-degrees are not dense","volume":"61","author":"Calhoun","year":"1996","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0003-4843(71)90003-9","article-title":"Enumeration reducibility and partial degrees","volume":"2","author":"Case","year":"1971","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib11","first-page":"157","article-title":"Generic sets and minimal \u03b1-degrees","volume":"254","author":"Chong","year":"1979","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib12","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1017\/S0305004100067694","article-title":"On degrees bounding minimal degrees","volume":"105","author":"Chong","year":"1989","journal-title":"Math. Proc. Cambridge Philos. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib13","first-page":"63","article-title":"Minimal degrees and 1-generic sets below 0\u2032","volume":"Vol. 1104","author":"Chong","year":"1984"},{"key":"10.1016\/S0049-237X(99)80020-2_bib14","doi-asserted-by":"crossref","first-page":"40","DOI":"10.2307\/2269326","article-title":"A note on the Entscheidungsproblem","volume":"1","author":"Church","year":"1936","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib15","doi-asserted-by":"crossref","first-page":"1143","DOI":"10.1073\/pnas.50.6.1143","article-title":"The independence of the continuum hypothesis 1","volume":"50","author":"Cohen","year":"1963","journal-title":"Proc. Natl. Acad. Sci. USA"},{"year":"1971","author":"Cooper","key":"10.1016\/S0049-237X(99)80020-2_bib16"},{"key":"10.1016\/S0049-237X(99)80020-2_bib17","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0003-4843(72)90011-3","article-title":"Degrees of unsolvability complementary between recursively enumerable degrees, Part I","volume":"4","author":"Cooper","year":"1972","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib18","doi-asserted-by":"crossref","first-page":"598","DOI":"10.2307\/2272750","article-title":"Jump equivalence of the\n\t\t\t\t\t\t\t\t\u039420 hyperhyperimmune sets","volume":"37","author":"Cooper","year":"1972","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib19","unstructured":"Distinguishing the arithmetical hierarchy, Preprint, Berkeley, October 1972."},{"key":"10.1016\/S0049-237X(99)80020-2_bib20","doi-asserted-by":"crossref","first-page":"249","DOI":"10.2307\/2272061","article-title":"Minimal degrees and the jump operator","volume":"38","author":"Cooper","year":"1973","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib21","first-page":"1","article-title":"An annotated bibliography for the structure of the degrees below 0\u2032 with special reference to that of the recursively enumerable degrees","volume":"5","author":"Cooper","year":"1974","journal-title":"Recursive Function Theory Newsletter"},{"key":"10.1016\/S0049-237X(99)80020-2_bib22","doi-asserted-by":"crossref","first-page":"503","DOI":"10.2307\/2274181","article-title":"Partial degrees and the density problem. Part 2: The enumeration degrees of the \u03a32 sets are dense","volume":"49","author":"Cooper","year":"1984","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib23","article-title":"Some negative results on minimal degrees below 0\u2032","volume":"34","author":"Cooper","year":"1986","journal-title":"Recursive Function Theory Newsletter"},{"key":"10.1016\/S0049-237X(99)80020-2_bib24","doi-asserted-by":"crossref","first-page":"527","DOI":"10.2307\/2274867","article-title":"The strong anti-cupping property for recursively enumerable degrees","volume":"54","author":"Cooper","year":"1989","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib25","first-page":"57","article-title":"Enumeration reducibility, nondeterministic computations and relative computability of partial functions","volume":"Vol. 1432","author":"Cooper","year":"1990"},{"issue":"1","key":"10.1016\/S0049-237X(99)80020-2_bib26","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF01370692","article-title":"The density of the low2 n-r.e. degrees","volume":"30","author":"Cooper","year":"1991","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib27","first-page":"171","article-title":"A splitting theorem for the n-r.e. degrees","volume":"115","author":"Cooper","year":"1992","journal-title":"Proc. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib28","unstructured":"Rigidity and definability in the non-computable universe, in: Proceedings of the 9th InternationalCongress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August, 1991, D. Prawitz, B. Skyrms, D. Westerstahl, eds., North-Holland, Amsterdam, pp. 209-236."},{"key":"10.1016\/S0049-237X(99)80020-2_bib29","first-page":"81","article-title":"A characterisation of the jumps of minimal degrees below 0\u2032","author":"Cooper","year":"1996"},{"key":"10.1016\/S0049-237X(99)80020-2_bib30","first-page":"41","article-title":"Discontinuous phenomena and Turing definability","author":"Cooper","year":"1996"},{"key":"10.1016\/S0049-237X(99)80020-2_bib31","first-page":"93","article-title":"Beyond Godel's Theorem: The failure to capture information content","volume":"187","author":"Cooper","year":"1997"},{"key":"10.1016\/S0049-237X(99)80020-2_bib32","unstructured":"[tal], On a conjecture of Kleene and Post, to appear in Math. Logic Quarterly."},{"key":"10.1016\/S0049-237X(99)80020-2_bib33","unstructured":"[ta2] The Turing iniverse is not rigid, to appear."},{"key":"10.1016\/S0049-237X(99)80020-2_bib34","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1002\/malq.19880340603","article-title":"Properly \u03a32 enumeration degrees, Z","volume":"34","author":"Cooper","year":"1988","journal-title":"Math. Logik Grundlag. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib35","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0168-0072(87)90039-X","article-title":"Complementing below recursively enumerable degrees","volume":"34","author":"Cooper","year":"1987","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib36","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0168-0072(91)90005-7","article-title":"The D.R.E. degrees are not dense","volume":"55","author":"Cooper","year":"1991","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib37","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF02937291","article-title":"Weak density and cupping in the d-r.e. degrees","volume":"67","author":"Cooper","year":"1989","journal-title":"Israel J. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib38","doi-asserted-by":"crossref","first-page":"1347","DOI":"10.2307\/2275820","article-title":"Noncappable enumeration degrees below 0\u2032e","volume":"61","author":"Cooper","year":"1996","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib39","unstructured":"[ta] Every incomplete\n\t\t\t\t\t\t\u039420 e-degree is cappable, in preparation"},{"key":"10.1016\/S0049-237X(99)80020-2_bib40","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0168-0072(96)00009-7","article-title":"Cupping and noncupping in the enumeration degrees of\n\t\t\t\t\t\t\t\t\u221120 sets","volume":"82","author":"Cooper","year":"1996","journal-title":"Arm. Pure Appl. Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib41","unstructured":"[ta] Isolated d-r.e. degrees, to appear"},{"key":"10.1016\/S0049-237X(99)80020-2_bib42","doi-asserted-by":"crossref","first-page":"878","DOI":"10.2307\/2274578","article-title":"1-genericity in the enumeration degrees","volume":"53","author":"Copestake","year":"1988","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib43","first-page":"257","article-title":"1-generic enumeration degrees below 0\u2032e","author":"Copestake","year":"1990"},{"key":"10.1016\/S0049-237X(99)80020-2_bib44","first-page":"143","article-title":"tt- and m-degrees","volume":"12","author":"Degtev","year":"1973","journal-title":"Algebra i Logika"},{"key":"10.1016\/S0049-237X(99)80020-2_bib45","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s001530050053","article-title":"Isolated d.r.e. degrees are dense in r.e. degree structure","volume":"36","author":"Ding","year":"1996","journal-title":"Archive for Math. Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib46","unstructured":"[tal] An r.e. degree not isolating any d-r.e. degree, to appear"},{"key":"10.1016\/S0049-237X(99)80020-2_bib47","unstructured":"[ta2] A splitting property of d-r.e. degrees, to appear"},{"key":"10.1016\/S0049-237X(99)80020-2_bib48","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1215\/ijm\/1256069291","article-title":"\u039420 degrees and transfer theorems","volume":"31","author":"Downey","year":"1987","journal-title":"Illinois J. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib49","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1112\/blms\/21.1.43","article-title":"D-r.e. degrees and the Nondiamond Theorem","volume":"21","author":"Downey","year":"1989","journal-title":"Bull. London Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib50","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1112\/jlms\/54.3.417","article-title":"Jumps of minimal degrees below 0\u2032","volume":"54","author":"Downey","year":"1996","journal-title":"J. London Math. Soc. (2)"},{"volume":"no. 162","year":"1975","author":"Epstein","key":"10.1016\/S0049-237X(99)80020-2_bib51"},{"volume":"Vol. 759","year":"1979","author":"Epstein","key":"10.1016\/S0049-237X(99)80020-2_bib52"},{"volume":"no. 241","year":"1981","author":"Epstein","key":"10.1016\/S0049-237X(99)80020-2_bib53"},{"key":"10.1016\/S0049-237X(99)80020-2_bib54","first-page":"32","article-title":"Hierarchies of sets and degrees below 0\u2032","volume":"Vol. 859","author":"Epstein","year":"1981"},{"key":"10.1016\/S0049-237X(99)80020-2_bib55","first-page":"47","article-title":"A hierarchy of sets, Part I","volume":"7","author":"Ershov","year":"1968","journal-title":"Algebra i Logika"},{"key":"10.1016\/S0049-237X(99)80020-2_bib56","first-page":"15","article-title":"A hierarchy of sets. Part II","volume":"7","author":"Ershov","year":"1968","journal-title":"Algebra i Logika"},{"key":"10.1016\/S0049-237X(99)80020-2_bib57","first-page":"34","article-title":"A hierarchy of sets, Part III","volume":"9","author":"Ershov","year":"1970","journal-title":"Algebra i Logika"},{"key":"10.1016\/S0049-237X(99)80020-2_bib58","first-page":"258","article-title":"The upper semilattice of numerations of a finite set","volume":"14","author":"Ershov","year":"1975","journal-title":"Algebra i Logika"},{"key":"10.1016\/S0049-237X(99)80020-2_bib59","doi-asserted-by":"crossref","first-page":"161","DOI":"10.2307\/2964178","article-title":"Degrees of unsolvability associated with classes of formalized theories","volume":"22","author":"Feferman","year":"1957","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib60","doi-asserted-by":"crossref","first-page":"325","DOI":"10.4064\/fm-56-3-325-345","article-title":"Some applications of the notions of forcing and generic sets","volume":"56","author":"Feferman","year":"1965","journal-title":"Fund. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib61","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/malq.19890350102","article-title":"Embedding lattices with top preserved below non-GL2 degrees, Z.","volume":"35","author":"Fejer","year":"1989","journal-title":"Math. Logik Grundlag. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib62","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1002\/malq.19590050703","article-title":"Reducibility and completeness for sets of integers, Z","volume":"5","author":"Friedberg","year":"1959","journal-title":"Math. Logik Grundlag. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib63","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","article-title":"\u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I","volume":"38","author":"G\u00f6del","year":"1931","journal-title":"Monatsh. Math. Phys."},{"key":"10.1016\/S0049-237X(99)80020-2_bib64","first-page":"39","article-title":"On undecidable propositions of formal mathematical systems, mimeographed notes","author":"G\u00f6del","year":"1934"},{"key":"10.1016\/S0049-237X(99)80020-2_bib65","doi-asserted-by":"crossref","first-page":"28","DOI":"10.2307\/2270580","article-title":"Limiting recursion","volume":"30","author":"Gold","year":"1965","journal-title":"J. Symbolic Logic"},{"year":"1971","author":"Gutteridge","key":"10.1016\/S0049-237X(99)80020-2_bib66"},{"key":"10.1016\/S0049-237X(99)80020-2_bib67","unstructured":"Model theoretic methods in the study of elementary logic, in: Symposium on the Theory ofModels, J. W. Addison, L. Henkin and A. Tarski, eds., North-Holland, Amsterdam, pp. 132-145."},{"key":"10.1016\/S0049-237X(99)80020-2_bib68","doi-asserted-by":"crossref","first-page":"10242","DOI":"10.1073\/pnas.88.22.10242","article-title":"Post's program and incomplete recursively enumerable sets","volume":"88","author":"Harrington","year":"1991","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"10.1016\/S0049-237X(99)80020-2_bib69","doi-asserted-by":"crossref","first-page":"770","DOI":"10.2307\/2274030","article-title":"The degrees below a 1-generic degree and less than 0\u2032","volume":"51","author":"Haught","year":"1986","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib70","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1002\/malq.19690152004","article-title":"Some applications of forcing to hierarchy problems in arithmetic, Z","volume":"15","author":"Hinman","year":"1969","journal-title":"Math. Logik Grundlag. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib71","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1112\/plms\/s3-19.1.1","article-title":"Initial segments of Turing degrees","volume":"19","author":"Hugill","year":"1969","journal-title":"Proc. London Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib72","first-page":"3","article-title":"On differences of recursively enumerable sets","volume":"279","author":"Ishmukametov","year":"1985","journal-title":"Izv. Vyssh. Uchebn. Zaved. Mat."},{"key":"10.1016\/S0049-237X(99)80020-2_bib73","first-page":"803","article-title":"Diamond lattice embedded into d.r.e. degrees","volume":"36","author":"Jiang","year":"1993","journal-title":"Science in China (Series A)"},{"key":"10.1016\/S0049-237X(99)80020-2_bib74","doi-asserted-by":"crossref","first-page":"193","DOI":"10.2307\/2270912","article-title":"The degrees of hyperhyperimmune sets","volume":"34","author":"Jockusch","year":"1969","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib75","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/BF02787575","article-title":"Upward closure and cohesive degrees","volume":"15","author":"Jockusch","year":"1973","journal-title":"Israel J. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib76","doi-asserted-by":"crossref","first-page":"1072","DOI":"10.4153\/CJM-1977-105-5","article-title":"Simple proofs of some theorems on high degrees","volume":"29","author":"Jockusch","year":"1977","journal-title":"Canad. J. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib77","first-page":"110","article-title":"Degrees of generic sets","author":"Jockusch","year":"1980"},{"key":"10.1016\/S0049-237X(99)80020-2_bib78","doi-asserted-by":"crossref","first-page":"1288","DOI":"10.2307\/2274816","article-title":"Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion","volume":"54","author":"Jockusch","year":"1989","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib79","doi-asserted-by":"crossref","first-page":"715","DOI":"10.2307\/2273510","article-title":"Double jumps of minimal degrees","volume":"43","author":"Jockusch","year":"1978","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib80","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/BF02761906","article-title":"Automorphism bases for degrees of unsolvability","volume":"40","author":"Jockusch","year":"1981","journal-title":"IsraelJ. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib81","first-page":"599","article-title":"Pseudo jump operators I: The R.E. case","volume":"275","author":"Jockusch","year":"1983","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib82","doi-asserted-by":"crossref","first-page":"1205","DOI":"10.2307\/2274273","article-title":"Pseudo jump operators II: Transfinite iterations, hierarchies, and minimal covers","volume":"49","author":"Jockusch","year":"1984","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib83","first-page":"546","article-title":"Minimal degrees, hyperimmune degrees, and complete extensions of arithmetic, Preliminary report 781-E10","volume":"1","author":"Jockusch","year":"1980","journal-title":"Abstracts Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib84","doi-asserted-by":"crossref","first-page":"605","DOI":"10.2140\/pjm.1972.40.605","article-title":"Degrees of members of\n\t\t\t\t\t\t\t\t\u03a010 classes","volume":"40","author":"Jockusch","year":"1972","journal-title":"Pacific J. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib85","first-page":"33","article-title":"\u03a010 classes and degrees of theories","volume":"173","author":"Jockusch","year":"1972","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib86","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1002\/malq.19930390153","article-title":"A cohesive set which is not high","volume":"39","author":"Jockusch","year":"1993","journal-title":"Math. Logic Quart."},{"key":"10.1016\/S0049-237X(99)80020-2_bib87","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0168-0072(93)90238-9","article-title":"Infima in the d.r.e. degrees","volume":"62","author":"Kaddah","year":"1993","journal-title":"Ann. Pure Appl. Logic"},{"year":"1952","author":"Kleene","key":"10.1016\/S0049-237X(99)80020-2_bib88"},{"key":"10.1016\/S0049-237X(99)80020-2_bib89","doi-asserted-by":"crossref","first-page":"379","DOI":"10.2307\/1969708","article-title":"The upper semi-lattice of degrees of recursive unsolvability","volume":"59","author":"Kleene","year":"1954","journal-title":"Ann. Math. (2)"},{"key":"10.1016\/S0049-237X(99)80020-2_bib90","first-page":"493","article-title":"An alternative, priority-free, solution to Post's problem","author":"Kucera","year":"1986"},{"key":"10.1016\/S0049-237X(99)80020-2_bib91","unstructured":"On the use of diagonally nonrecursive functions, in: Logic Colloquium \u203287, H. D. Ebbinghaus et al., eds., Noah-Holland Amsterdam, pp. 219-239."},{"key":"10.1016\/S0049-237X(99)80020-2_bib92","doi-asserted-by":"crossref","first-page":"733","DOI":"10.2307\/2274661","article-title":"A 1-generic degree which bounds a minimal degree","volume":"55","author":"Kumabe","year":"1990","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib93","doi-asserted-by":"crossref","first-page":"1075","DOI":"10.2307\/2275074","article-title":"Relative recursive enumerability of generic degrees","volume":"58","author":"Kumabe","year":"1991","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib94","doi-asserted-by":"crossref","first-page":"219","DOI":"10.2307\/2275334","article-title":"Every n-generic degree is a minimal cover of an n-generic degree","volume":"58","author":"Kumabe","year":"1993","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib95","unstructured":"[tal] A 1-generic degree with a strong minimal cover, to appear."},{"key":"10.1016\/S0049-237X(99)80020-2_bib96","unstructured":"[ta2] A fixed point free minimal degree, to appear."},{"key":"10.1016\/S0049-237X(99)80020-2_bib97","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1112\/plms\/s3-16.1.537","article-title":"Lower bounds for pairs of recursively enumerable degrees","volume":"16","author":"Lachlan","year":"1966","journal-title":"Proc. London Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib98","first-page":"149","article-title":"Embedding nondistributive lattices in the recursively enumerable degrees","volume":"Vol. 255","author":"Lachlan","year":"1972"},{"key":"10.1016\/S0049-237X(99)80020-2_bib99","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/0003-4843(76)90016-4","article-title":"A recursively enumerable degree which will not split over all lesser ones","volume":"9","author":"Lachlan","year":"1975","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib100","doi-asserted-by":"crossref","first-page":"289","DOI":"10.2307\/2272227","article-title":"Countable initial segments of the degrees of unsolvability","volume":"41","author":"Lachlan","year":"1976","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib101","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF01794984","article-title":"The n-rea enumeration degrees are dense","volume":"31","author":"Lachlan","year":"1992","journal-title":"Arch. Math. Logic"},{"year":"1995","author":"LaForte","key":"10.1016\/S0049-237X(99)80020-2_bib102"},{"key":"10.1016\/S0049-237X(99)80020-2_bib103","unstructured":"[ta] The existence of isomorphic cones in the r.e. wtt-degrees, to appear."},{"key":"10.1016\/S0049-237X(99)80020-2_bib104","article-title":"Automorphism bases for the semilattice of recursively enumerable degrees, A-251, Abstract #77T-E10","volume":"24","author":"Lerman","year":"1977","journal-title":"Notices Amer. Math. Soc"},{"year":"1983","author":"Lerman","key":"10.1016\/S0049-237X(99)80020-2_bib105"},{"key":"10.1016\/S0049-237X(99)80020-2_bib106","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0168-0072(86)90022-9","article-title":"Degrees which do not bound minimal degrees","volume":"30","author":"Lerman","year":"1986","journal-title":"Ann. Pure App. Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib107","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1090\/S0002-9947-1988-0973174-0","article-title":"Decidability and invariant classes for degree structures","volume":"310","author":"Lerman","year":"1988","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib108","unstructured":"[ta] External center theorem of the recursively enumerable degrees, to appear."},{"key":"10.1016\/S0049-237X(99)80020-2_bib109","first-page":"178","article-title":"A class of incomplete sets","volume":"20","author":"Marchenkov","year":"1976","journal-title":"Mat. Zametki"},{"journal-title":"Measure, Category, and Degrees of Unsolvability","year":"1967","author":"Martin","key":"10.1016\/S0049-237X(99)80020-2_bib110"},{"key":"10.1016\/S0049-237X(99)80020-2_bib111","first-page":"279","article-title":"Enumerable sets are diophantine","volume":"191","author":"Matijasevic","year":"1970","journal-title":"Dokl. Akad. Nauk. SSSR"},{"key":"10.1016\/S0049-237X(99)80020-2_bib112","first-page":"903","article-title":"Jumps of quasi-minimal enumeration degrees","volume":"50","author":"McEvoy","year":"1985","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib113","doi-asserted-by":"crossref","first-page":"839","DOI":"10.2307\/2274335","article-title":"On minimal pairs of enumeration degrees","volume":"50","author":"McEvoy","year":"1985","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib114","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1002\/malq.19680140704","article-title":"The degrees of hyperimmune sets, Z","volume":"14","author":"Miller","year":"1968","journal-title":"Math. Logik Grundlag. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib115","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19550010205","article-title":"Creative sets, Z","volume":"1","author":"Myhill","year":"1955","journal-title":"Math. Logik Grundlag. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib116","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1017\/S002248120008525X","article-title":"The lattice of recursively enumerable sets","volume":"21","author":"Myhill","year":"1956","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib117","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1090\/S0002-9939-1961-0125794-X","article-title":"A note on degrees of partial functions","volume":"12","author":"Myhill","year":"1961","journal-title":"Proc. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib118","doi-asserted-by":"crossref","unstructured":"A. NERODE AND R. A. SHORE [1980a] Second order logic and first order theories of reducibility orderings, in: The Kleene Symposium, J. Barwise et al., eds., North-Holland, Amsterdam, pp. 181-200.","DOI":"10.1016\/S0049-237X(08)71260-6"},{"key":"10.1016\/S0049-237X(99)80020-2_bib119","doi-asserted-by":"crossref","unstructured":"A. NERODE AND R. A. SHORE [1980b] Reducibility orderings: theories, definability and automorphisms, Ann. Math. Logic, 18,pp. 61-89.","DOI":"10.1016\/0003-4843(80)90004-2"},{"key":"10.1016\/S0049-237X(99)80020-2_bib120","unstructured":"P. ODIFREDDI [1989] Classical Recursion Theory, Studies in Logic and the Foundations of Mathematics, Vol. 125, North-Holland, Amsterdam."},{"key":"10.1016\/S0049-237X(99)80020-2_bib121","unstructured":"P. ODIFREDDI [ta] Classical Recursion Theory, II, North-Holland, in preparation."},{"key":"10.1016\/S0049-237X(99)80020-2_bib122","article-title":"Global properties of local structures of degrees","author":"Odifreddi","year":"1989","journal-title":"Boll. Un. Mat. Ital."},{"year":"1977","author":"Posner","key":"10.1016\/S0049-237X(99)80020-2_bib123"},{"key":"10.1016\/S0049-237X(99)80020-2_bib124","first-page":"52","article-title":"A survey of non-r.e. degrees \u2a7d 0\u2032","author":"Posner","year":"1980"},{"key":"10.1016\/S0049-237X(99)80020-2_bib125","doi-asserted-by":"crossref","first-page":"705","DOI":"10.2307\/2273220","article-title":"The upper semilattice of degrees \u2a7d 0\u2032 is complemented","volume":"46","author":"Posner","year":"1981","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib126","doi-asserted-by":"crossref","first-page":"714","DOI":"10.2307\/2273221","article-title":"Degrees joining to 0\u2032","volume":"46","author":"Posner","year":"1981","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib127","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1090\/S0002-9904-1944-08111-1","article-title":"Recursively enumerable sets of positive integers and their decision problems","volume":"50","author":"Post","year":"1944","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib128","first-page":"641","article-title":"Degrees of recursive unsolvability, preliminary report (abstract)","volume":"54","author":"Post","year":"1948","journal-title":"Bull. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib129","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/2270581","article-title":"Trial and error predicates and the solution to a problem of Mostowski","volume":"30","author":"Putnam","year":"1965","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib130","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1002\/malq.19680142105","article-title":"A dichotomy of the recursively enumerable sets, Z","volume":"14","author":"Robinson","year":"1968","journal-title":"Math. Logik Grundlag. Math."},{"year":"1967","author":"Rogers","key":"10.1016\/S0049-237X(99)80020-2_bib131"},{"key":"10.1016\/S0049-237X(99)80020-2_bib132","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/BF00967734","article-title":"Partial degrees of immune and hyperimmune sets","volume":"19","author":"Rozinas","year":"1978","journal-title":"Siberian Math. J."},{"key":"10.1016\/S0049-237X(99)80020-2_bib133","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1090\/S0002-9904-1961-10652-6","article-title":"A minimal degree less than 0\u2032","volume":"67","author":"Sacks","year":"1961","journal-title":"Bull. Amer. Math. Soc"},{"volume":"55","year":"1963","author":"Sacks","key":"10.1016\/S0049-237X(99)80020-2_bib134"},{"key":"10.1016\/S0049-237X(99)80020-2_bib135","doi-asserted-by":"crossref","first-page":"211","DOI":"10.2307\/1970214","article-title":"On the degrees less than 0\u2032","volume":"77","author":"Sacks","year":"1963","journal-title":"Ann. of Math. (2)"},{"key":"10.1016\/S0049-237X(99)80020-2_bib136","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1090\/S0002-9947-1963-0155747-3","article-title":"Recursive enumerability and the jump operator","volume":"108","author":"Sacks","year":"1963","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib137","doi-asserted-by":"crossref","first-page":"300","DOI":"10.2307\/1970393","article-title":"The recursively enumerable degrees are dense","volume":"80","author":"Sacks","year":"1964","journal-title":"Ann. of Math. (2)"},{"year":"1966","author":"Sacks","key":"10.1016\/S0049-237X(99)80020-2_bib138"},{"key":"10.1016\/S0049-237X(99)80020-2_bib139","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1090\/S0002-9939-1967-0207558-7","article-title":"On a theorem of Lachlan and Martin","volume":"18","author":"Sacks","year":"1967","journal-title":"Proc. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib140","first-page":"331","article-title":"Forcing with perfect closed sets","author":"Sacks","year":"1971"},{"key":"10.1016\/S0049-237X(99)80020-2_bib141","doi-asserted-by":"crossref","first-page":"383","DOI":"10.2307\/2270695","article-title":"A cornucopia of minimal degrees","volume":"395","author":"Sasso","year":"1970","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib142","doi-asserted-by":"crossref","first-page":"571","DOI":"10.2307\/2272899","article-title":"A minimal degree not realising least possible jump","volume":"39","author":"Sasso","year":"1974","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib143","first-page":"117","article-title":"Algebras of sets binumerable in complete extensions of arithmetic","volume":"Vol. V","author":"Scott","year":"1962"},{"key":"10.1016\/S0049-237X(99)80020-2_bib144","unstructured":"\u03bb-calculus and recursion theory in: Third Scandinavian Logic Symposium, Kanger, ed., North-Holland, Amsterdam, pp. 154-193."},{"key":"10.1016\/S0049-237X(99)80020-2_bib145","first-page":"579","article-title":"Data types as lattices","volume":"Vol. 499","author":"Scott","year":"1975"},{"journal-title":"Minimal Complements","year":"1992","author":"Seetapun","key":"10.1016\/S0049-237X(99)80020-2_bib146"},{"key":"10.1016\/S0049-237X(99)80020-2_bib147","unstructured":"V. L. SELIVANOV [ta] Hierarchies, Numerations and Index Sets, to appear."},{"key":"10.1016\/S0049-237X(99)80020-2_bib148","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1002\/malq.19710170139","article-title":"Arithmetical reducibilities I, Z","volume":"17","author":"Selman","year":"1971","journal-title":"Math. Logik Grundlag. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib149","doi-asserted-by":"crossref","first-page":"644","DOI":"10.2307\/1970028","article-title":"On degrees of unsolvability","volume":"69","author":"Shoenfield","year":"1959","journal-title":"Ann. of Math. (2)"},{"key":"10.1016\/S0049-237X(99)80020-2_bib150","doi-asserted-by":"crossref","first-page":"233","DOI":"10.2307\/2964680","article-title":"Degrees of models","volume":"25","author":"Shoenfield","year":"1960","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib151","doi-asserted-by":"crossref","first-page":"539","DOI":"10.2307\/2269688","article-title":"A theorem on minimal degrees","volume":"31","author":"Shoenfield","year":"1966","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib152","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1112\/jlms\/s2-24.1.1","article-title":"The theory of the degrees below 0\u2032","volume":"24","author":"Shore","year":"1981","journal-title":"J. London Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib153","first-page":"287","article-title":"Defining jump classes in the degrees below 0\u2032","volume":"104","author":"Shore","year":"1988","journal-title":"Proc. Amer. Math. Soc"},{"key":"10.1016\/S0049-237X(99)80020-2_bib154","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF01621095","article-title":"Working below a low2 recursively enumerable degree","volume":"29","author":"Shore","year":"1990","journal-title":"Archive for Math. Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib155","doi-asserted-by":"crossref","first-page":"121","DOI":"10.2307\/1971028","article-title":"First-order theory of the degrees of recursive unsolvability","volume":"105","author":"Simpson","year":"1977","journal-title":"Ann. of Math. (2)"},{"key":"10.1016\/S0049-237X(99)80020-2_bib156","first-page":"303","article-title":"Degree structures","author":"Slaman","year":"1991"},{"journal-title":"Questions in Recursion Theory","year":"1994","author":"Slaman","key":"10.1016\/S0049-237X(99)80020-2_bib157"},{"key":"10.1016\/S0049-237X(99)80020-2_bib158","doi-asserted-by":"crossref","first-page":"160","DOI":"10.2307\/2275022","article-title":"Complementation in the Turing degrees","volume":"54","author":"Slaman","year":"1989","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib159","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1215\/ijm\/1256044641","article-title":"Definability in the Turing degrees","volume":"30","author":"Slaman","year":"1986","journal-title":"Illinois J. Math."},{"key":"10.1016\/S0049-237X(99)80020-2_bib160","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/s001530050064","article-title":"Definability in the enumeration degrees","volume":"36","author":"Slaman","year":"1997","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib161","unstructured":"T. A. SLAMAN AND W. H. WOODIN [ta] Definability in Degree Structures, in preparation."},{"key":"10.1016\/S0049-237X(99)80020-2_bib162","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1090\/S0002-9904-1974-13350-1","article-title":"Automorphisms of the lattice of recursively enumerable sets","volume":"80","author":"Soare","year":"1974","journal-title":"Bull. Amer. Math. Soc"},{"year":"1987","author":"Soare","key":"10.1016\/S0049-237X(99)80020-2_bib163"},{"journal-title":"Redefining Recursion Theory","year":"1994","author":"Soare","key":"10.1016\/S0049-237X(99)80020-2_bib164"},{"key":"10.1016\/S0049-237X(99)80020-2_bib165","doi-asserted-by":"crossref","unstructured":"R. I. SOARE AND M. STOB [1982] Relative recursive enumerability, in: Proceedings of the Herbrand Symposium Logic Colloquium 81, J. Stem, ed., North-Holland, Amsterdam, pp. 299-324.","DOI":"10.1016\/S0049-237X(08)71892-5"},{"key":"10.1016\/S0049-237X(99)80020-2_bib166","doi-asserted-by":"crossref","first-page":"581","DOI":"10.2307\/1969604","article-title":"On degrees of recursive unsolvability","volume":"64","author":"Spector","year":"1956","journal-title":"Ann. of Math. (2)"},{"key":"10.1016\/S0049-237X(99)80020-2_bib167","first-page":"230","article-title":"On computable numbers, with an application to the Entscheidungsproblem","volume":"42","author":"Turing","year":"1936","journal-title":"Proc. London Math. Soc"},{"year":"1981","author":"Welch","key":"10.1016\/S0049-237X(99)80020-2_bib168"},{"key":"10.1016\/S0049-237X(99)80020-2_bib169","doi-asserted-by":"crossref","unstructured":"C. E. M. YATES [1967] Recursively enumerable degrees and the degrees less than 0\u2032 I, in: Sets, Models, and RecursionTheory, Proceedings of the Summer School in Mathematical Logic and Logic Colloquium, Leicester, England, 1965, J. N. Crossley, ed., North-Holland, Amsterdam, pp. 264-271.","DOI":"10.1016\/S0049-237X(08)71511-8"},{"key":"10.1016\/S0049-237X(99)80020-2_bib170","doi-asserted-by":"crossref","unstructured":"C. E. M. YATES [1970a] Initial segments of the degrees of unsolvability, Part I: A survey, in: Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium, Jerusalem, November 11-14, 1968, Y. Bar-Hillel, ed., North-Holland, Amsterdam, pp. 63-83.","DOI":"10.1016\/S0049-237X(08)71931-1"},{"key":"10.1016\/S0049-237X(99)80020-2_bib171","doi-asserted-by":"crossref","first-page":"243","DOI":"10.2307\/2270517","article-title":"Initial segments of the degrees of unsolvability, Part II: Minimal degrees","volume":"35","author":"Yates","year":"1970","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0049-237X(99)80020-2_bib172","doi-asserted-by":"crossref","unstructured":"C. E. M. YATES [1976] Banach\u2014Mazur games, comeager sets, and degrees of unsolvability Math. Proc. Cambridge Philos. Soc., 79, pp. 195-220.","DOI":"10.1017\/S0305004100052221"},{"key":"10.1016\/S0049-237X(99)80020-2_bib173","unstructured":"X. YI [ta] Highness and the density property in the d.r.e. degrees, to appear"}],"container-title":["Studies in Logic and the Foundations of Mathematics","Handbook of Computability Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0049237X99800202?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0049237X99800202?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T17:32:18Z","timestamp":1758735138000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0049237X99800202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9780444898821"],"references-count":173,"URL":"https:\/\/doi.org\/10.1016\/s0049-237x(99)80020-2","relation":{},"ISSN":["0049-237X"],"issn-type":[{"type":"print","value":"0049-237X"}],"subject":[],"published":{"date-parts":[[1999]]}}}