Comparing DNR and WWKL

Klaus Ambos-Spies; Bjørn Kjos-Hanssen; Steffen Lempp; Theodore A. Slaman

doi:10.2178/jsl/1102022212

Abstract

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

Citation

Download Citation

Klaus Ambos-Spies. Bjørn Kjos-Hanssen. Steffen Lempp. Theodore A. Slaman. "Comparing DNR and WWKL." J. Symbolic Logic 69 (4) 1089 - 1104, December 2004. https://doi.org/10.2178/jsl/1102022212

Information

Published: December 2004

First available in Project Euclid: 2 December 2004

zbMATH: 1076.03039

MathSciNet: MR2135656

Digital Object Identifier: 10.2178/jsl/1102022212

Subjects:

Primary: 03D28 , 03F35

Secondary: 03F60

Keywords: diagonally non-recursive functions , reverse mathematics , Turing degrees

Abstract

Citation

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS