Prefer a chat interface with context about you and your work?
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.