Weihrauch格上的Vitali覆盖定理
The Vitali Covering Theorem in the Weihrauch Lattice
摘要：
利用Weihrauch约化方法研究了区间Vitali覆盖定理的统一计算内容。我们表明，一个更详细的图片出现比朱斯托，布朗和辛普森的相关研究揭示了在设置反向数学。特别是，维塔利覆盖定理的不同表述有不同的统一计算内容。这些版本要么是可计算的，要么与弱弱柯尼希引理的一致变体密切相关。
英文摘要：
We study the uniform computational content of the Vitali Covering Theorem for intervals using the tool of Weihrauch reducibility. We show that a more detailed picture emerges than what a related study by Giusto, Brown, and Simpson has revealed in the setting of reverse mathematics. In particular, different formulations of the Vitali Covering Theorem turn out to have different uniform computational content. These versions are either computable or closely related to uniform variants of Weak Weak Kőnig's Lemma.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
