Media type: E-Article Title: Comparing DNR and WWKL Contributor: Ambos-Spies, Klaus; Kjos-Hanssen, Bjørn; Lempp, Steffen; Slaman, Theodore A. Published: Cambridge University Press (CUP), 2004 Published in: Journal of Symbolic Logic, 69 (2004) 4, Seite 1089-1104 Language: English DOI: 10.2178/jsl/1102022212 ISSN: 0022-4812; 1943-5886 Keywords: Logic ; Philosophy Origination: Footnote: Description: Abstract.In Reverse Mathematics, the axiom system DNR. asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL0 (weak weak König's Lemma).