1-类generic性与几乎处处控制
1-genericity and almost everywhere domination
首次发表
浏览论文内容
中文总结 AI 辅助
本文证明存在一个1-类generic集合能计算一致几乎处处控制函数，结合Baire空间密度准则与Cholak-Greenberg-Miller力迫方法。
中文摘要 AI 辅助
我们证明存在一个1-类generic集合，它计算一个一致几乎处处控制函数。证明包含两个要素：Chong-Downey Sigma01-密度准则的Baire空间版本，以及Cholak-Greenberg-Miller的力迫方法。
英文摘要
We prove that there is a 1-generic set which computes a uniformly almost everywhere dominating function. The proof has two ingredients: a Baire space version of the Chong-Downey Sigma01-density criterion and the forcing of Cholak-Greenberg-Miller.
