arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv math/0506019math.LO
收藏

均匀几乎处处支配

Uniform almost everywhere domination

Peter Cholak, Joseph Miller, Noam Greenberg

摘要:

我们探讨了勒贝格测度与控制函数之间的相互作用。我们表明,通过一个优先建设和强制建设,有一个功能的不完整的程度,占主导地位的几乎所有程度。这回答了一个问题的多布里宁和辛普森,谁表明,这些职能是有关的证明理论强度的规律性勒贝格测度的$G_δ$集。我们的构造基本上解决了这个原理的反向数学分类。2005年11月13日修订。进行了轻微更正。

英文摘要:

We explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a function of incomplete degree that dominates almost all degrees. This answers a question of Dobrinen and Simpson, who showed that such functions are related to the proof-theoretic strength of the regularity of Lebesgue measure for $G_δ$ sets. Our constructions essentially settle the reverse mathematical classification of this principle. Revised Nov 13, 2005. Minor corrections made.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑