14.6.2 Lowness for 
-randomness
Theorem 14.6.8. The following are equivalent for a real x.
(i)x is -traceable;
(ii)Every (x)-nullset is contained in a -nullset;
(iii)x is low for -randomness;
(iv)Every -ML random real is (x)-random.
Proof. (i) → (ii): Assume ...
Get Recursion Theory now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
