低性概念、测度与受控性
逻辑
2014-08-14 v1
摘要
我们证明了正测度受控性蕴含一致几乎处处受控性，且该证明可转化为在子系统 WWKL（但在 RCA 中不行）内对 Dobrinen 和 Simpson 引入的各种 Lebesgue 测度正则性陈述等价性的证明。这项工作还使我们能够证明：弱 -随机性的低性与 Martin-L"of 随机性的低性相同（这一结果也由 Nies 独立获得）。利用相同的技术，我们证明了 蕴含 ，推广了 Martin-L"of 随机性的低性蕴含 的低性这一事实。
引用
@article{arxiv.1408.2898,
title = {Lowness notions, measure and domination},
author = {Bjørn Kjos-Hanssen and Joseph S. Miller and Reed Solomon},
journal= {arXiv preprint arXiv:1408.2898},
year = {2014}
}