TY - RPRT TI - The random members of a $Π^0_1$ class AU - Douglas Cenzer AU - Christopher P. Porter PY - 2016 UR - https://arxiv.org/abs/1611.05818 ID - 1611.05818 ER -