The random members of a ${\Pi }_1^0$ class

Douglas Cenzer, Christopher P. Porter

We examine several notions of randomness for elements in a given ${\Pi }_1^0$ class $\mathcal{P}$. Such an effectively closed subset $\mathcal{P}$ of $2^{\omega }$ may be viewed as the set of i…