The importance of Π₁⁰ classes in effective randomness

Abstract

Abstract We prove a number of results in effective randomness, using methods in which Π 1 0 classes play an essential role. The results proved include the fact that every PA Turing degree is the join of two random Turing degrees, and the existence of a minimal pair of LR degrees below the LR degree of the halting problem.