Weihrauch 格中的 Vitali 覆盖定理
逻辑
2018-08-23 v2 计算机科学中的逻辑
摘要
我们利用 Weihrauch 可归约性工具研究了区间上 Vitali 覆盖定理的一致计算内容。我们展示了一幅比 Giusto、Brown 和 Simpson 在逆数学设定中所揭示的更为细致的图景。特别地，Vitali 覆盖定理的不同表述被证明具有不同的一致计算内容。这些版本要么是可计算的，要么与弱弱柯尼希引理(Weak Weak König's Lemma)的一致变体密切相关。
引用
@article{arxiv.1605.03354,
title = {The Vitali Covering Theorem in the Weihrauch Lattice},
author = {Vasco Brattka and Guido Gherardi and Rupert Hölzl and Arno Pauly},
journal= {arXiv preprint arXiv:1605.03354},
year = {2018}
}
备注
13 pages