Author:
Ambos-Spies Klaus,Kjos-Hanssen Bjørn,Lempp Steffen,Slaman Theodore A.
Abstract
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).
Publisher
Cambridge University Press (CUP)
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献