Document Type
Article
Publication Date
12-2015
Publication Title
The Journal of Symbolic Logic
Department
Department of Mathematics
Abstract
We prove that the statement "there is a k such that for every f there is a k-bounded diagonally non-recursive function relative to f" does not imply weak K\"onig's lemma over RCA0+BΣ02. This answers a question posed by Simpson. A recursion-theoretic consequence is that the classic fact that every k-bounded diagonally non-recursive function computes a 2-bounded diagonally non-recursive function may fail in the absence of IΣ02.
DOI
10.1017/jsl.2015.43
Dartmouth Digital Commons Citation
Dorais, Francois G.; Hirst, Jeffry L.; and Shafer, Paul, "Comparing the strength of diagonally non-recursive functions in the absence of Σ02 induction" (2015). Dartmouth Scholarship. 2362.
https://digitalcommons.dartmouth.edu/facoa/2362