{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T07:43:02Z","timestamp":1696923782890},"reference-count":7,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":11607,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1982,6]]},"abstract":"<jats:p>The characterization of classes of r.e. sets by their index sets has proved valuable in producing new results about the r.e. sets and degrees. The classic example is Yates' proof [5, Theorem 7] of Sacks' density theorem for r.e. degrees using his classification of {<jats:italic>e<\/jats:italic>: <jats:italic>W<jats:sub>e<\/jats:sub><\/jats:italic> \u2264<jats:sub><jats:italic>T<\/jats:italic><\/jats:sub><jats:italic>D<\/jats:italic>) as \u03a3<jats:sub>3<\/jats:sub>(<jats:italic>D<\/jats:italic>) whenever <jats:italic>D<\/jats:italic> is r.e. Theorem 1 of this paper is a refinement of this index set theorem of Yates which has already proved to have interesting consequences about the r.e. degrees. This theorem was originally announced by Kallibekov [1, Theorem 1]. Kallibekov there proposed a new and ingenious method for doing priority arguments which has also since been used by Kinber [2]. Unfortunately his proof to this particular theorem contains an error. We have a totally different proof using standard techniques which is of independent interest.<\/jats:p><jats:p>The proof to Theorem 1 is an infinite injury priority argument. In \u00a71 therefore we give a short summary of the infinite injury priority method. We draw heavily on the exposition of Soare [4] where a complete description of the method is given along with many examples. In \u00a72 we prove the main theorem and also give what we think are the most interesting corollaries to this theorem announced by Kallibekov. In \u00a73 we prove a theorem about \u03a3<jats:sub>3<\/jats:sub> sets of indices of r.e. sets. This theorem is a strengthening of a theorem of Kinber [2, Theorem 1] which was proved using a modification of Kallibekov's technique. As application, we use our theorem to show that an r.e. set <jats:italic>A<\/jats:italic> has supersets of every r.e. degree iff <jats:italic>A<\/jats:italic> is not simple.<\/jats:p>","DOI":"10.2307\/2273139","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T17:59:42Z","timestamp":1146938382000},"page":"241-248","source":"Crossref","is-referenced-by-count":3,"title":["Index sets and degrees of unsolvability"],"prefix":"10.1017","volume":"47","author":[{"given":"Michael","family":"Stob","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200044212_ref007","unstructured":"Welch L. , Doctoral Dissertation, University of Illinois, Urbana, 1980."},{"key":"S0022481200044212_ref003","volume-title":"Theory of recursive functions and effective computability","author":"Rogers","year":"1967"},{"key":"S0022481200044212_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BF02219732"},{"key":"S0022481200044212_ref006","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1969-0241295-4"},{"key":"S0022481200044212_ref002","first-page":"164","article-title":"On T-degrees of Post's hypersimple sets","volume":"21","author":"Kinber","year":"1977","journal-title":"Latvian Mathematical Yearbook"},{"key":"S0022481200044212_ref005","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1966-0184855-9"},{"key":"S0022481200044212_ref004","first-page":"513","volume":"4","author":"Soare","year":"1976","journal-title":"The infinite injury priority method"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200044212","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T17:15:58Z","timestamp":1558718158000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200044212\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,6]]},"references-count":7,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1982,6]]}},"alternative-id":["S0022481200044212"],"URL":"https:\/\/doi.org\/10.2307\/2273139","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,6]]}}}