Abstract
We prove that the existential theory of the Turing degrees, in the language with Turing reduction, 0, and unary relations for the classes in the generalized high/low hierarchy, is decidable.
We also show that every finite poset labeled with elements of (where is the partition of induced by the generalized high/low hierarchy) can be embedded in preserving the labels. Note that no condition is imposed on the labels.
Similar content being viewed by others
References
Cooper, S.B.: Minimal pairs and high recursively enumerable degrees. J. Symbolic Logic 39, 655–660 (1974)
Greenberg, N., Montalbán, A., Shore, R.A.: Generalized High Degrees have the Complementation Property. J. Symbolic Logic 69 (4), 1200–1220 (2004)
Hinman, P.G., Slaman, T.A.: Jump Embeddings in the Turing Degrees. J. Symbolic Logic 56, 563–591 (1991)
Jockusch, C.G. Jr.: Simple proofs of some theorems on high degrees of unsolvability. Canad. J. Math. 29 (5), 1072–1080 (1977)
Jockusch, C.G. Jr., Posner D.B.: Double jumps of minimal degrees. J. Symbolic Logic 43 (4), 715–724 (1978)
Lerman, M.: Degrees of Unsolvability. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1983
Lerman, M.: On the ordering of the classes in the high/low hierarchies. In: Recusion theory week (Oberwolfach, 1984), Springer, Berlin, 1985, pp. 260–270
Lerman, M.: Degrees which do not bound minimal degrees. Ann. Pure Appl. Logic 30 (3), 249–276 (1986)
Montalbán, A.: Embedding Jump Upper Semilattices into the Turing degrees. Journal of Symbolic Logic 68 (3), 2003
Montalbán, A.: Beyond the arithmetic. PhD thesis, Cornell University, 2005. In preparation
Robinson, R.W.: Interpolation and embedding in the recursively enumerable degrees. Annals of Mathematics (2) 93, 285–314 (1971)
Simpson, M.F.: Arithmetic Degrees: Initial Segments, omega-REA Operators and the omega-jump. PhD thesis, Cornell University, 1985
Soare, R.I.: Automorphisms of the lattice of recursively enumerable sets. Bull. Am. Math. Soc. 80, 53–58 (1974)
Soare, R.I.: Recursively Enumerable Sets and Degrees. Springer-Verlag, Berlin, Heidelberg, 1987
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Montalbán, A. There is no ordering on the classes in the generalized high/low hierarchies. Arch. Math. Logic 45, 215–231 (2006). https://doi.org/10.1007/s00153-005-0304-0
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-005-0304-0