{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T08:03:43Z","timestamp":1772438623354,"version":"3.50.1"},"reference-count":25,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2002,1,1]]},"DOI":"10.1305\/ndjfl\/1071505769","type":"journal-article","created":{"date-parts":[[2004,1,19]],"date-time":"2004-01-19T15:23:07Z","timestamp":1074525787000},"source":"Crossref","is-referenced-by-count":12,"title":["Realizing Levels of the Hyperarithmetic Hierarchy as Degree Spectra of Relations on Computable Structures"],"prefix":"10.1215","volume":"43","author":[{"given":"Denis R.","family":"Hirschfeldt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walker M.","family":"White","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Ash, C. J., \"Generalizations of enumeration reducibility using recursive infinitary propositional sentences\", <i>Annals of Pure and Applied Logic<\/i>, vol. 58 (1992), pp. 173\u201384.","DOI":"10.1016\/0168-0072(92)90026-V"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Ash, C. J., P. Cholak, and J. F. Knight, \"Permitting, forcing, and copying of a given recursive relation\", <i>Annals of Pure and Applied Logic<\/i>, vol. 86 (1997), pp. 219\u201336.","DOI":"10.1016\/S0168-0072(96)00011-5"},{"key":"3","unstructured":"Ash, C. J., and J. Knight, <i>Computable S<\/i>tructures and the Hyperarithmetical Hierarchy, Elsevier, Amsterdam, 2000."},{"key":"4","doi-asserted-by":"publisher","unstructured":"Ash, C. J., and J. F. Knight, \"Pairs of recursive structures\", <i>Annals of Pure and Applied Logic<\/i>, vol. 46 (1990), pp. 211\u201334.","DOI":"10.1016\/0168-0072(90)90004-L"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Ash, C. J., and J. F. Knight, \"Relatively recursive expansions\", <i>Fundamenta Mathematicae<\/i>, vol. 140 (1992), pp. 137\u201355.","DOI":"10.4064\/fm-140-2-137-155"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Ash, C. J., and J. F. Knight, \"A completeness theorem for certain classes of recursive infinitary formulas\", <i>Mathematical Logic Quarterly<\/i>, vol. 40 (1994), pp. 173\u201381.","DOI":"10.1002\/malq.19940400204"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Ash, C. J., and J. F. Knight, \"Ramified systems\", <i>Annals of Pure and Applied Logic<\/i>, vol. 70 (1994), pp. 205\u201321.","DOI":"10.1016\/S0168-0072(94)90009-4"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Ash, C. J., and J. F. Knight, \"Possible degrees in recursive copies\", <i>Annals of Pure and Applied Logic<\/i>, vol. 75 (1995), pp. 215\u201321.","DOI":"10.1016\/0168-0072(94)00043-3"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Ash, C. J., and J. F. Knight, \"Possible degrees in recursive copies. II\", <i>Annals of Pure and Applied Logic<\/i>, vol. 87 (1997), pp. 151\u201365.","DOI":"10.1016\/S0168-0072(96)00026-7"},{"key":"10","unstructured":"Ash, C. J., and A. Nerode, \"Intrinsically recursive relations\", pp. 26\u201341 in <i>Aspects of E<\/i>ffective Algebra (Clayton, 1979), edited by J. N. Crossley, Upside Down A Book Co., Yarra Glen, 1981."},{"key":"12","unstructured":"Harizanov, V. S., <i>Degree S<\/i>pectrum of a Recursive Relation on a Recursive Structure, Ph.D. thesis, University of Wisconsin, Madison, 1987."},{"key":"13","doi-asserted-by":"publisher","unstructured":"Harizanov, V. S., \"Some effects of A\"sh-Nerode and other decidability conditions on degree spectra, <i>Annals of Pure and Applied Logic<\/i>, vol. 55 (1991), pp. 51\u201365.","DOI":"10.1016\/0168-0072(91)90097-6"},{"key":"14","doi-asserted-by":"publisher","unstructured":"Harizanov, V. S., \"Turing degrees of certain isomorphic images of computable relations\", <i>Annals of Pure and Applied Logic<\/i>, vol. 93 (1998), pp. 103\u201313.","DOI":"10.1016\/S0168-0072(97)00056-0"},{"key":"15","doi-asserted-by":"publisher","unstructured":"Hirschfeldt, D. R., \"Degree spectra of relations on computable structures\", <i>The Bulletin of Symbolic Logic<\/i>, vol. 6 (2000), pp. 197\u2013212.","DOI":"10.2307\/421207"},{"key":"16","doi-asserted-by":"publisher","unstructured":"Hirschfeldt, D. R., \"Degree spectra of relations on computable structures in the presence of $\\Delta\\sb 2\\sp 0$\" isomorphisms, <i>The Journal of Symbolic Logic<\/i>, vol. 67 (2002), pp. 697\u2013720.","DOI":"10.2178\/jsl\/1190150105"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Hirschfeldt, D. R., B. Khoussainov, R. A. Shore, and A. M. Slinko, \"Degree spectra and computable dimensions in algebraic structures\", <i>Annals of Pure and Applied Logic<\/i>, vol. 115 (2002), pp. 71\u2013113.","DOI":"10.1016\/S0168-0072(01)00087-2"},{"key":"18","doi-asserted-by":"crossref","unstructured":"Khoussainov, B., and R. A. Shore, \"Effective model theory: T\"he number of models and their complexity, pp. 193\u2013239 in <i>Models and C<\/i>omputability (Leeds, 1997), edited by S. B. Cooper and J. K. Truss, Cambridge University Press, Cambridge, 1999.","DOI":"10.1017\/CBO9780511565670.009"},{"key":"19","doi-asserted-by":"publisher","unstructured":"Knight, J. F., \"Coding a family of sets\", <i>Annals of Pure and Applied Logic<\/i>, vol. 94 (1998), pp. 127\u201342.","DOI":"10.1016\/S0168-0072(97)00070-5"},{"key":"20","doi-asserted-by":"crossref","unstructured":"Sacks, G. E., <i>Higher R<\/i>ecursion Theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1990.","DOI":"10.1007\/978-3-662-12013-2"},{"key":"21","unstructured":"Shore, R. A., \"Computable structures: Presentations matter\", pp. 81\u201395 in <i>In the S<\/i>cope of Logic, Methodology and Philosophy of Science (Vol. 1 of the Eleventh International Congress of Logic, Methodology and Philosophy of Science, Cracow, August 1999), vol. 315 of <i>Synthese Library<\/i>, edited by P. G\u00e4rdenfors, J. Wole\u0144ski, and K. Kijania-Placek, Kluwer Academic Publishers, Dordrecht, 2002."},{"key":"22","doi-asserted-by":"crossref","unstructured":"Soare, R. I., <i>Recursively E<\/i>numerable Sets and Degrees, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1987.","DOI":"10.1007\/978-3-662-02460-7"},{"key":"23","unstructured":"Soskov, I. N., and V. Baleva, \"Ash's theorem for abstract structures\", preprint, 2001."},{"key":"24","doi-asserted-by":"publisher","unstructured":"Soskov, I. N., and V. Baleva, \"Regular enumerations\", <i>The Journal of Symbolic Logic<\/i>, vol. 67 (2002), pp. 1323\u201343.","DOI":"10.2178\/jsl\/1190150287"},{"key":"25","unstructured":"White, W. M., <i>Characterizations for Computable Structures<\/i>, Ph.D. thesis, Cornell University, Ithaca, 2000."},{"key":"11","doi-asserted-by":"crossref","unstructured":"Epstein, R. L., R. Haas, and R. L. Kramer, \"Hierarchies of sets and degrees below ${\\bf 0}\\sp{\\prime} $\", pp. 32\u201348 in <i>Logic Year 1979\u201380 (Proceedings of Seminars and Conferences in Mathematical Logic, University of Connecticut)<\/i>, edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Springer, Berlin, 1981.","DOI":"10.1007\/BFb0090937"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1071505769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:53Z","timestamp":1706648153000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-43\/issue-1\/Realizing-Levels-of-the-Hyperarithmetic-Hierarchy-as-Degree-Spectra-of\/10.1305\/ndjfl\/1071505769.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1,1]]},"references-count":25,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2002,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1071505769","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2002,1,1]]}}}