{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T14:35:22Z","timestamp":1775399722861,"version":"3.50.1"},"reference-count":14,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,10,1]]},"DOI":"10.1215\/00294527-2009-020","type":"journal-article","created":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T14:39:11Z","timestamp":1265899151000},"source":"Crossref","is-referenced-by-count":5,"title":["Superhighness"],"prefix":"10.1215","volume":"50","author":[{"given":"Bj\u00f8rn","family":"Kjos-Hanssen","sequence":"first","affiliation":[]},{"given":"Andr\u00e9e","family":"Nies","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Binns, S., B. Kjos-Hanssen, M. Lerman, and R. Solomon, \"On a conjecture of Dobrinen and Simpson concerning almost everywhere domination\", <i>The Journal of Symbolic Logic<\/i>, vol. 71 (2006), pp. 119--36.","DOI":"10.2178\/jsl\/1140641165"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Cholak, P., N. Greenberg, and J. S. Miller, \"Uniform almost everywhere domination\", <i>The Journal of Symbolic Logic<\/i>, vol. 71 (2006), pp. 1057--72.","DOI":"10.2178\/jsl\/1154698592"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Cole, J. A., and S. G. Simpson, \"Mass problems and hyperarithmeticity\", <i>Journal of Mathematical Logic<\/i>, vol. 7 (2007), pp. 125--43.","DOI":"10.1142\/S0219061307000652"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Cooper, S. B., \"Minimal degrees and the jump operator\", <i>The Journal of Symbolic Logic<\/i>, vol. 38 (1973), pp. 249--71.","DOI":"10.2307\/2272061"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Dobrinen, N. L., and S. G. Simpson, \"Almost everywhere domination\", <i>The Journal of Symbolic Logic<\/i>, vol. 69 (2004), pp. 914--22.","DOI":"10.2178\/jsl\/1096901775"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Friedberg, R., \"A criterion for completeness of degrees of unsolvability\", <i>The Journal of Symbolic Logic<\/i>, vol. 22 (1957), pp. 159--60.","DOI":"10.2307\/2964177"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Jockusch, C. G., Jr., and R. I. Soare, \"$\\Pi \\sp{0}\\sb{1}$ classes and degrees of theories\", <i>Transactions of the American Mathematical Society<\/i>, vol. 173 (1972), pp. 33--56.","DOI":"10.2307\/1996261"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Martin, D. A., \"Classes of recursively enumerable sets and degrees of unsolvability\", <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 12 (1966), pp. 295--310.","DOI":"10.1002\/malq.19660120125"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Mohrherr, J., \"Density of a final segment of the truth-table degrees\", <i>Pacific Journal of Mathematics<\/i>, vol. 115 (1984), pp. 409--19.","DOI":"10.2140\/pjm.1984.115.409"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Nies, A., <i>Computability and Randomness<\/i>, Oxford University Press, Oxford, 2009.","DOI":"10.1093\/acprof:oso\/9780199230761.001.0001"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Simpson, S. G., \"Almost everywhere domination and superhighness\", <i>Mathematical Logic Quarterly<\/i>, vol. 53 (2007), pp. 462--82.","DOI":"10.1002\/malq.200710012"},{"key":"1","unstructured":"[1] Barmpalias, G., \"Tracing and domination in the Turing degrees\". forthcoming."},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Nies, A., \"Superhighness and strong jump traceability\". forthcoming in <i>Proceedings of the ICALP 2009<\/i>.","DOI":"10.1215\/00294527-2009-020"},{"key":"13","unstructured":"[13] Schwarz, S., <i>Index Sets of Computably Enumerable Sets, Quotient Lattices, and Computable Linear Orderings<\/i>, Ph.D. thesis, University of Chicago, Chicago, 1982."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2009-020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:22Z","timestamp":1706648242000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-4\/Superhighness\/10.1215\/00294527-2009-020.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,1]]},"references-count":14,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2009,10,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2009-020","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,10,1]]}}}