On \(n\)-tardy sets (Q435200): Difference between revisions

This paper extends and generalizes work of Harrington and Soare on \(n\)-tardy sets. The authors prove the existence of (i) a 3-tardy set that is not \(\leq_T\) any 2-tardy set (and hence is not codable) and (ii) a low\({}_2\), simple, 2-tardy set. They also define a family of nontrivial lattice-theoretic properties \(Q_n\), with \(Q_n\) implying \(n\)-tardiness, and use this family to establish the existence of infinitely many incomplete orbits in \(\mathcal E\).