Π^0_1 classes, strong minimal covers and hyperimmune-free degrees

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/141300We 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)Logic03D28Π^0_1 classes, strong minimal covers and hyperimmune-free degreestext