WKL0 以下的分离原理
逻辑
2014-10-20 v2
摘要
在本文中，我们利用 Lerman、Solomon 和第二作者引入的技术研究了拉姆齐型柯尼希引理（记作 RWKL）。该技术使用迭代力迫构造一个满足原理 但不满足 的 -模型。该技术通常允许将“单步”构造（构建 的一个实例以及每个 可计算实例的解集）转化为 -模型分离（构建 的一个可计算实例以及 成立的图灵理想）。我们通过分离 d-DNR 和 DNR 来说明这种转化（重新证明了 Ambos-Spies、Kjos-Hanssen、Lempp 和 Slaman 的结果），然后应用该技术分离 RWKL 和 DNR（Bienvenu、Patey 和 Schafer 已单独证明了这一点）。
引用
@article{arxiv.1410.4068,
title = {Separating Principles Below WKL0},
author = {Stephen Flood and Henry Towsner},
journal= {arXiv preprint arXiv:1410.4068},
year = {2014}
}