There is no ordering on the classes in the generalized high/low hierarchies (Q818520)

The high/low hierarchy studied by Soare and Cooper induces a partition of the Turing degrees below \({\mathbf 0}'\). The generalized high/low hierarchy introduced by Jockusch and Posner induces a partition on all the Turing degrees. For \(n\geq 1\), a degree \(\mathbf x\) is generalized low\(_n(\text{GL}_n)\) if \({\mathbf x}^{(n)}=({\mathbf x}\vee {\mathbf 0}')^{(n-1)}\), generalized high\(_n(\text{GH}_n)\) if \({\mathbf x}^{(n)}=({\mathbf x}\vee {\mathbf 0}')^{(n)}\), and generalized intermediate if neither \(\text{GH}_n\) nor \(\text{GL}_n\) for any \(n\). These classes constitute the generalized hierarchy. The paper's main theorem extends a result of Lerman. It establishes the decidability of the existential theory of the Turing degrees in a language with a constant for the degree \(\mathbf 0\), a binary relation for Turing reducibility, and a 1-place predicate for each of the classes of the generalized hierarchy. A further result gives information about the distribution of Turing degrees within the classes of the hierarchy.