Comparing DNR and WWKL

Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman. Comparing DNR and WWKL. Journal of Symbolic Logic, 69(4):1089-1104, 2004. [doi]

Abstract

Abstract is missing.