\Pi^0_1 classes, strong minimal covers and hyperimmune-free degrees
Andrew E. M. Lewis
所有作者
Andrew E. M. Lewis
文献摘要
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.