Abstract
Given any [c], [a], [d] xxxxxxxxR/M such that [d] ≤ [a] ≤ [c], [a] is locally noncuppable between [c] and [d] if [d] < [a] ≤ [c] and [a] ∨ [b] < [c] for any [b] xxxxxxxxR/M such that [d] ≤ [b] < [c]. It will be shown that given any nonzero [c] xxxxxxxxR/M, there are [a], [d] xxxxxxxxR/M such that [d] < [a] ≤ [c] and [a] is locally noncuppable between [c] and [d].
Similar content being viewed by others
References
Ambos-Spies, K., Jockusch, C.G. Jr., Shore R.A. et al., An algebraic decomposition of the recursively enumerable degrees and the coincidence of several classes with the promptly simple degrees, Trans. Amer. Math. Soc., 1984(281): 109–128.
Schwarz, S., The quotient semilattice of the recursively enumerable degrees modulo the cappable degrees, Trans. Amer. Math. Soc., 1984 (283): 315–328.
Jockusch, C. G. Jr., Review of Schwarz, Math. Review, 1984, 85i: 3777.
Slaman, T. A., Questions in recursion theory, in London Mathematical Society Lecture Note Series 224, Cambridge: Cambridge University Press, 1996.
Yi, X., Extension of embedding on the recursively enumerable degrees modulo the cappable degrees, in London Mathematical Society Lecture Note Series 224, Cambridge: Cambridge University Press, 1996.
Sui, Y., Zhang, Z., The cupping theorem inR/M, The Journal of Symbolic Logic, 1999, 64(2): 643–650.
Soare, R. I., Recursively Enumerable Sets and Degrees, Ω-series, Berlin: Springer-Verlag, 1987.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zhang, Z., Sui, Y. Local noncuppability in R/M. Sci China Ser F 44, 126–135 (2001). https://doi.org/10.1007/BF02713971
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02713971