论文标题
在算术的完整理论下方的随机性
Randomness below complete theories of arithmetic
论文作者
论文摘要
我们表明,包含算术的完整扩展的学位具有随机的联接属性:它们是它们计算的任何随机真实的至高无上的属性,并具有另一个随机的真实。真相表和薄弱的真相表的降低性也是如此。
We show that degrees containing a complete extensions of arithmetic have the random join property: they are the supremum of any random real they compute, with another random real. The same is true for the truth-table and weak truth-table reducibilities.