{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T05:16:48Z","timestamp":1774588608433,"version":"3.50.1"},"reference-count":30,"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":[[2012,6]]},"abstract":"<jats:p> We study the global properties of [Formula: see text], the Turing degrees of the n-r.e. sets. In Theorem 1.5, we show that the first order of [Formula: see text] is not decidable. In Theorem 1.6, we show that for any two n and m with n &lt; m, [Formula: see text] is not a \u03a3<jats:sub>1<\/jats:sub>-substructure of [Formula: see text]. <\/jats:p>","DOI":"10.1142\/s0219061312500055","type":"journal-article","created":{"date-parts":[[2012,7,2]],"date-time":"2012-07-02T07:32:38Z","timestamp":1341214358000},"page":"1250005","source":"Crossref","is-referenced-by-count":6,"title":["THE n-r.e. DEGREES: UNDECIDABILITY AND \u03a3<sub>1<\/sub> SUBSTRUCTURES"],"prefix":"10.1142","volume":"12","author":[{"given":"MINGZHONG","family":"CAI","sequence":"first","affiliation":[{"name":"Department of Mathematics, University of Wisconsin, Madison WI 53706, 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 CA 94720, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,7,8]]},"reference":[{"key":"rf1","first-page":"270","volume":"283","author":"Arslanov M. M.","journal-title":"Dokl. Akad. Nauk SSR"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511605321.002"},{"key":"rf3","volume-title":"Computability in Context: Computation and Logic in the Real World","author":"Arslanov M. M.","year":"2010"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1268917488"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90005-7"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/21.1.43"},{"key":"rf8","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0067135","volume-title":"Degrees of Unsolvability: Structure and Theory","volume":"759","author":"Epstein R. L.","year":"1979"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/BF02218750"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1007\/BF02218664"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1007\/BF02219847"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.2307\/2270580"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1982-14970-9"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.2307\/2274273"},{"key":"rf16","first-page":"537","volume":"16","author":"Lachlan A. H.","journal-title":"Proc. London Math. Soc. (3)"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19680143002"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21755-9"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1112\/S002461159800046X"},{"key":"rf20","first-page":"44","volume":"30","author":"Putnam H.","journal-title":"J. Symb. Log."},{"key":"rf21","series-title":"Annals of Mathematical Studies","volume-title":"Degrees of Unsolvability","volume":"55","author":"Sacks G. E.","year":"1966"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.2307\/1970028"},{"key":"rf24","first-page":"1","volume":"24","author":"Shore R. A.","journal-title":"J. London Math. Soc."},{"key":"rf25","first-page":"287","volume":"104","author":"Shore R. A.","journal-title":"Proc. Amer. Math. Soc."},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1154698739"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061307000676"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.2307\/1971028"},{"key":"rf33","first-page":"24","volume":"3","author":"Taitslin M. A.","journal-title":"Algebra i Logika"},{"key":"rf34","first-page":"161","volume":"45","author":"Turing A. M.","journal-title":"Proc. London Math. Soc. (3)"},{"key":"rf35","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1164060453"},{"key":"rf36","doi-asserted-by":"publisher","DOI":"10.2307\/2269807"}],"container-title":["Journal of Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0219061312500055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T09:20:05Z","timestamp":1565083205000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0219061312500055"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":30,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2012,7,8]]},"published-print":{"date-parts":[[2012,6]]}},"alternative-id":["10.1142\/S0219061312500055"],"URL":"https:\/\/doi.org\/10.1142\/s0219061312500055","relation":{},"ISSN":["0219-0613","1793-6691"],"issn-type":[{"value":"0219-0613","type":"print"},{"value":"1793-6691","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}