比较 DNR 与 WWKL
逻辑
2014-08-12 v1
摘要
在反向数学中，断言对角非递归函数存在的公理系统 DNR 严格弱于 WWKL（弱弱 K"onig 引理）。
引用
@article{arxiv.1408.2281,
title = {Comparing DNR and WWKL},
author = {Klaus Ambos-Spies and Bjørn Kjos-Hanssen and Steffen Lempp and Theodore A. Slaman},
journal= {arXiv preprint arXiv:1408.2281},
year = {2014}
}