You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Comparing DNR and WWKL
Contributor:
Ambos-Spies, Klaus;
Kjos-Hanssen, Bjørn;
Lempp, Steffen;
Slaman, Theodore A.
Published:
Association for Symbolic Logic, Inc., 2004
Published in:
The Journal of Symbolic Logic, 69 (2004) 4, Seite 1089-1104
Language:
English
ISSN:
0022-4812
Origination:
Footnote:
Description:
In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally nonrecursive functions, is strictly weaker than WWKL₀ (weak weak König's Lemma).