TY - RPRT TI - Π^0_1 classes, strong minimal covers and hyperimmune-free degrees AU - Andrew E. M. Lewis PY - 2007 UR - https://arxiv.org/abs/0711.0287 ID - 0711.0287 ER -