几乎处处一致的统一支配
摘要:勒贝格度量与支配函数之间的相互作用探讨 通过优先级构造和强迫构造,我们证明了存在一个不完全度的函数,它支配几乎所有度数。 这回答了Dobrinen和Simpson的一个问题,他们显示这类函数与勒贝格度量对于G_delta集合的正则性的证明力相关。 我们的构造实质上解决了这个原理的逆数学分类。 修订于2005年11月13日,进行了小的修正。
作者:Peter Cholak, Joseph Miller, and Noam Greenberg
论文ID:math/0506019
分类:Logic
分类简称:math.LO
提交时间:2007-05-23