Klaus Ambos-SpiesBjørn Kjos-HanssenSteffen LemppTheodore A. Slaman
所有作者
Klaus Ambos-SpiesBjørn Kjos-HanssenSteffen LemppTheodore A. Slaman
文献摘要
In Reverse Mathematics, the axiom system DNR, asserting the existence of
diagonally non-recursive functions, is strictly weaker than WWKL0 (weak weak
K"onig’s Lemma).