{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,8,12]],"date-time":"2022-08-12T01:06:51Z","timestamp":1660266411734},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3388,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2004,12]]},"abstract":"<jats:title>Abstract.<\/jats:title><jats:p>We prove that there is no <jats:italic>sw<\/jats:italic>-complete c.e. real, negatively answering a question in [6].<\/jats:p>","DOI":"10.2178\/jsl\/1102022216","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T16:50:28Z","timestamp":1109782228000},"page":"1163-1170","source":"Crossref","is-referenced-by-count":15,"title":["There is no <i>SW<\/i>-complete c.e. real"],"prefix":"10.1017","volume":"69","author":[{"given":"Liang","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Decheng","family":"Ding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200007441_ref001","first-page":"596\u2013606","volume-title":"Stacs \u201998","volume":"1373","author":"Calude","year":"1998"},{"key":"S0022481200007441_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0112458"},{"key":"S0022481200007441_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(66)80018-9"},{"key":"S0022481200007441_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2606-0"},{"key":"S0022481200007441_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/0196-8858(87)90010-8"},{"key":"S0022481200007441_ref014","first-page":"224\u2013254","article-title":"A formal theory of inductive inference, part 1 and part 2","volume":"7","author":"Solomonoff","year":"1964","journal-title":"Information and Control"},{"key":"S0022481200007441_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2003.07.004"},{"key":"S0022481200007441_ref002","first-page":"547\u2013569","article-title":"A theory of program size formally identical to information theory","volume":"13","author":"Chaitin","year":"1966","journal-title":"Journal of the Association for Computing Machinery"},{"key":"S0022481200007441_ref003","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608858"},{"key":"S0022481200007441_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68441-3"},{"key":"S0022481200007441_ref007","first-page":"1\u20137","article-title":"Three approaches to the quantitative definition of information","volume":"1","author":"Kolmogorov","year":"1965","journal-title":"Problems of Information Transmission (Problemy Peredachi Informats\u00fc)"},{"key":"S0022481200007441_ref008","first-page":"199\u2013211","article-title":"Antonin Ku\u010dera and Theodore A. Slaman","volume":"31","year":"2001","journal-title":"Randomness and recursive enumerability, SIAM Journal on Computing"},{"key":"S0022481200007441_ref012","first-page":"271\u2013294","article-title":"Recursion theory and Dedekind cuts","volume":"140","author":"Soare","year":"1969","journal-title":"Transactions of the American Mathematical Society"},{"key":"S0022481200007441_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200007441","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T15:38:52Z","timestamp":1557157132000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200007441\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,12]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2004,12]]}},"alternative-id":["S0022481200007441"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1102022216","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,12]]}}}