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

TL;DR

This paper explores the existence of minimal Turing degrees without strong minimal covers within the hyperimmune-free degrees, addressing an open question in computability theory.

Contribution

It provides new insights into the structure of hyperimmune-free degrees and their relation to minimal Turing degrees and strong minimal covers.

Findings

Identifies conditions under which minimal degrees lack strong minimal covers.

Advances understanding of the relationship between hyperimmune-free degrees and minimal degrees.

Addresses an open problem posed by Yates in the context of computability theory.

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.