{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T02:41:49Z","timestamp":1648694509166},"reference-count":32,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Math. Log."],"published-print":{"date-parts":[[2006,6]]},"abstract":"<jats:p>Sacks [23] asks if the metarecursively enumerable degrees are elementarily equivalent to the r.e. degrees. In unpublished work, Slaman and Shore proved that they are not. This paper provides a simpler proof of that result and characterizes the degree of the theory as [Formula: see text] or, equivalently, that of the truth set of [Formula: see text].<\/jats:p>","DOI":"10.1142\/s0219061306000505","type":"journal-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T09:26:26Z","timestamp":1153733186000},"page":"49-68","source":"Crossref","is-referenced-by-count":2,"title":["THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES"],"prefix":"10.1142","volume":"06","author":[{"given":"NOAM","family":"GREENBERG","sequence":"first","affiliation":[{"name":"Department of Mathematics, Cornell University, Ithaca, NY 14853, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"RICHARD A.","family":"SHORE","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Cornell University, Ithaca, NY 14853, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"THEODORE A.","family":"SLAMAN","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of California, Berkeley, Berkeley, CA 94720, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1938-06720-1"},{"key":"rf2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.4064\/fm-28-1-11-21","volume":"28","author":"Church A.","journal-title":"Fund. Math."},{"key":"rf3","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0099164","volume-title":"Techniques of Admissible Recursion Theory","volume":"1106","author":"Chong C. T.","year":"1984"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.2307\/2270325"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.25.4.220"},{"key":"rf8","series-title":"Memoirs of the American Mathematical Society 181, No. 854","volume-title":"The Role of True Finiteness in the Admissible Recursively Enumerable Degrees","author":"Greenberg N.","year":"2006"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1982-14970-9"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.2307\/2267778"},{"key":"rf12","first-page":"304","volume":"28","author":"Kreisel G.","journal-title":"J. Symb. Log."},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.2307\/2269621"},{"key":"rf14","first-page":"161","volume":"29","author":"Kripke S.","journal-title":"J. Symb. Log."},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(76)90016-4"},{"key":"rf16","first-page":"341","volume":"188","author":"Lerman M.","journal-title":"Trans. Amer. Math. Soc."},{"key":"rf17","doi-asserted-by":"crossref","unstructured":"M.\u00a0Lerman, Generalized Recursion Theory, eds. J. E.\u00a0Fenstad, R. O.\u00a0Gandy and G. E.\u00a0Sacks (North-Holland, 1978)\u00a0pp. 223\u2013238.","DOI":"10.1016\/S0049-237X(08)70934-0"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(72)90007-1"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.2307\/2275013"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1112\/S002461159800046X"},{"key":"rf23","series-title":"Annals of Mathematical Studies","volume-title":"Degrees of Unsolvability","volume":"55","author":"Sacks G. E.","year":"1966"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1966-11416-7"},{"key":"rf25","first-page":"1","volume":"124","author":"Sacks G. E.","journal-title":"Trans. Amer. Math. Soc."},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12013-2"},{"key":"rf27","first-page":"323","volume":"4","author":"Sacks G. E.","journal-title":"Ann. Math. Log."},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(90)90024-F"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757271"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(76)90007-3"},{"key":"rf31","first-page":"351","volume":"217","author":"Shore R. A.","journal-title":"Trans. Amer. Math. Soc."},{"key":"rf32","doi-asserted-by":"crossref","unstructured":"R. A.\u00a0Shore, Generalized Recursion Theory II, eds. E.\u00a0Fenstad, R. O.\u00a0Gandy and G. E.\u00a0Sacks (North-Holland, 1978)\u00a0pp. 331\u2013354.","DOI":"10.1016\/S0049-237X(08)70940-6"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.2307\/2273376"},{"key":"rf34","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050063"},{"key":"rf35","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(99)80022-6"},{"key":"rf39","doi-asserted-by":"publisher","DOI":"10.2969\/jmsj\/01220119"},{"key":"rf40","doi-asserted-by":"publisher","DOI":"10.2307\/2269620"}],"container-title":["Journal of Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0219061306000505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T05:21:31Z","timestamp":1627622491000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0219061306000505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":32,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2006,6]]}},"alternative-id":["10.1142\/S0219061306000505"],"URL":"https:\/\/doi.org\/10.1142\/s0219061306000505","relation":{},"ISSN":["0219-0613","1793-6691"],"issn-type":[{"value":"0219-0613","type":"print"},{"value":"1793-6691","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}