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 (6)

• Kolmogorov complexity and the Recursion Theorem
• On the Uniform Computational Content of Computability Theory
• A strong law of computationally weak subsets
• On the logical strengths of partial solutions to mathematical problems
• From eventually different functions to pandemic numberings
• Refining the taming of the Reverse Mathematics zoo