Comparing DNR and WWKL

Abstract

In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL${}_0$ (weak weak König's Lemma).

Cited by in corpus (1)

• A strong law of computationally weak subsets