Randomness below complete theories of arithmetic
George Barmpalias, Wei Wang · arXiv (Cornell University) · 2022
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.