Antibasis theorems for \({\Pi^0_1}\) classes and the jump hierarchy (Q1935363): Difference between revisions

For any set \(P\subseteq 2^{\omega}\), let \(S(P)\), the degree spectrum of \(P\), be the set of all Turing degrees \(\mathbf a\) such that there exists \(A \in P\) of degree \(\mathbf{a}\). The author shows in the paper under review that, for any \(\Pi^0_1\)-class \(P\): 1) If for any degree \(\mathbf{a}\geq \mathbf{0}'\), \(S(P)\) contains all the degrees whose jump is \(\mathbf{a}\), then \(S(P)\) contains all the degrees; 2) If for any degree \(\mathbf{a}\) r.e. above \(\mathbf{0}'\), \(S(P)\) contains all the degrees below \(\mathbf{0}'\) whose jump is \(\mathbf{a}\), then \(S(P)\) contains all the degrees. The method to prove the results is to construct a recursive perfect subtree under the assumptions.