Π⁰₁ classes, strong minimal covers and hyperimmune-free degrees

2007/11/02 by Andrew E. M. Lewis, Lewis, Andrew E. M.
Mathematics · #03D28 #Advanced Topology and Set Theory #Algebraic Geometry and Number Theory #FOS: Mathematics #Logic (math.LO) #Mathematical Dynamics and Fractals #math.LO #msc:03D28

paper · pdf · doi:10.48550/arxiv.0711.0287

Bulletin of the London Mathematical Society (to appear in Dec 07 issue online)

arxiv created 2007/11/02 · openalex publication_date 2007/11/02 · arxiv updated 2009/12/01 · openalex created_date 2024/04/11 · openalex updated_date 2026/07/28

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.

Related

• Minimal bounds and members of effectively closed sets
• members of thin Π₁⁰ classes and generic degrees
• On the degrees of constructively immune sets
• On the existence of a strong minimal pair
• A Π⁰₂ Singleton of Minimal Arithmetic Degree