Π1 Classes, Strong Minimal Covers and Hyperimmune-free Degrees
نویسنده
چکیده
We investigate issues surrounding an old question of Yates’ as to the existence of a minimal degree with no strong minimal cover, specifically with respect to the hyperimmune-free degrees.
منابع مشابه
The members of thin and minimal classes, their ranks and Turing degrees
We study the relationship among members of Π1-classes, thin Π 0 1classes, their Cantor-Bendixson ranks and their Turing degrees; in particular, we show that any nonzero ∆2-degree contains a member of rank α for any computable ordinal α. Furthermore we observe that the degrees containing members of thin Π1-classes are not closed under join.
متن کاملThin classes of separating sets
There are various definitions for a Martin–Pour-El theory in the literature. We isolate two such definitions: weak Martin–Pour-El theories (which correspond to perfect thin Π1 classes) and strong Martin–Pour-El theories (which correspond to thin classes of separating sets). By concentrating on constructions of appropriate Π1 classes, rather than on direct constructions of the theories, we show ...
متن کاملThe Importance of Π1 Classes in Effective Randomness
We prove a number of results in effective randomness, using methods in which Π1 classes play an essential role. Amongst many others, the results proved include the fact that every PA Turing degree is the join of two random Turing degrees, and the existence of a minimal pair of LR degrees below the LR degree of the halting problem.
متن کاملAutomorphisms of the Lattice of Π1 Classes; Perfect Thin Classes and Anc Degrees
Π1 classes are important to the logical analysis of many parts of mathematics. The Π1 classes form a lattice. As with the lattice of computably enumerable sets, it is natural to explore the relationship between this lattice and the Turing degrees. We focus on an analog of maximality, or more precisely, hyperhypersimplicity, namely the notion of a thin class. We prove a number of results relatin...
متن کاملTuring Degree Spectra of Minimal Subshifts
Subshifts are shift invariant closed subsets of Σ d , minimal subshifts are subshifts in which all points contain the same patterns. It has been proved by Jeandel and Vanier that the Turing degree spectra of nonperiodic minimal subshifts always contain the cone of Turing degrees above any of its degree. It was however not known whether each minimal subshift’s spectrum was formed of exactly one ...
متن کامل