Comparing DNR and WWKL
Klaus Ambos-Spies, Bj{\o}rn Kjos-Hanssen, Steffen Lempp, and Theodore, A. Slaman
TL;DR
This paper compares two axiom systems in Reverse Mathematics, DNR and WWKL$_0$, highlighting that DNR is strictly weaker than WWKL$_0$ in terms of logical strength.
Contribution
It clarifies the relative strength of DNR and WWKL$_0$, providing insights into their roles within Reverse Mathematics.
Findings
DNR is strictly weaker than WWKL$_0$
DNR does not imply WWKL$_0$
The comparison clarifies the hierarchy in Reverse Mathematics
Abstract
In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL (weak weak K\"onig's Lemma).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.