Comparing DNR and WWKL
Logic
2014-08-12 v1
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).
Cite
@article{arxiv.1408.2281,
title = {Comparing DNR and WWKL},
author = {Klaus Ambos-Spies and Bjørn Kjos-Hanssen and Steffen Lempp and Theodore A. Slaman},
journal= {arXiv preprint arXiv:1408.2281},
year = {2014}
}