Translator Disclaimer
December 2004 Comparing DNR and WWKL
Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman
J. Symbolic Logic 69(4): 1089-1104 (December 2004). 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 WWKL0 (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

Rights: Copyright © 2004 Association for Symbolic Logic

JOURNAL ARTICLE
16 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.69 • No. 4 • December 2004
Back to Top