{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T09:41:31Z","timestamp":1772444491370,"version":"3.50.1"},"reference-count":10,"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>In Reverse Mathematics, the axiom system DNR. asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL<jats:sub>0<\/jats:sub> (weak weak K\u00f6nig's Lemma).<\/jats:p>","DOI":"10.2178\/jsl\/1102022212","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T21:49:04Z","timestamp":1109800144000},"page":"1089-1104","source":"Crossref","is-referenced-by-count":29,"title":["Comparing DNR and WWKL"],"prefix":"10.1017","volume":"69","author":[{"given":"Klaus","family":"Ambos-Spies","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f8rn","family":"Kjos-Hanssen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Lempp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theodore A.","family":"Slaman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200007404_ref008","volume-title":"Notes on constructive mathematics","author":"Martin-L\u00f6f","year":"1970"},{"key":"S0022481200007404_ref003","first-page":"235\u2013242","volume-title":"Proceedings of the International Congress of Mathematicians (Vancouver, B. C, 1974), Vol. 1","author":"Friedman","year":"1975"},{"key":"S0022481200007404_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59971-2"},{"key":"S0022481200007404_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/s001530100100"},{"key":"S0022481200007404_ref004","first-page":"1451\u20131480","volume":"65","author":"Giusto","year":"2000","journal-title":"Located sets and reverse mathematics"},{"key":"S0022481200007404_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/BF01621469"},{"key":"S0022481200007404_ref001","first-page":"1\u201314","volume-title":"Computability theory and its applications (Boulder, CO, 1999)","volume":"257","author":"Ambos-Spies","year":"2000"},{"key":"S0022481200007404_ref005","first-page":"191\u2013201","volume-title":"Logic, methodology and philosophy of science, VIII (Moscow, 1987)","volume":"126","author":"Jockusch","year":"1989"},{"key":"S0022481200007404_ref006","first-page":"245\u2013259","volume-title":"Recursion theory week (Oberwolfach, 1984)","volume":"1141","author":"Ku\u010dera","year":"1985"},{"key":"S0022481200007404_ref007","unstructured":"Kumabe Masahiro , A fixed-point free minimal degree, 51 pages, unpublished, 1996."}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200007404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T19:38:39Z","timestamp":1557171519000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200007404\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,12]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2004,12]]}},"alternative-id":["S0022481200007404"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1102022212","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,12]]}}}