Π^0_1 classes, strong minimal covers and hyperimmune-free degrees
arXiv:0711.0287
Abstract
We investigate issues surrounding an old question of Yates' as to the existence of a minimal Turing degree with no strong minimal cover, specifically with respect to the hyperimmune-free degrees.
Bulletin of the London Mathematical Society (to appear in Dec 07 issue online)