Abstract
Greenberg, Ng and Wu proved in a recent paper the existence of a cuppable degree a that can be cupped to 0′ by high degrees only. A corollary of this result shows that such a degree a can be high, and hence bounds noncuppable degrees. In this paper, we prove the existence of a plus-cupping degree which can only be cupped to 0′ by high degrees. This refutes Li-Wang’s claim that every plus-cupping degree is 3-plus-cupping, where a nonzero c. e. degree a is n-plus-cupping if for every c. e. degree x with 0 < x ≤ a, there is a low n c. e. degree y such that x ∨ y = 0′.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cooper, S.B.: On a theorem of C. E. M. Yates. Handwritten Notes (1974)
Downey, R., Lempp, S., Shore, R.: Highness and bounding minimal pairs. Mathematical Logic Quarterly 39(1), 475–491 (1993)
Harrington, L.A.: On Cooper’s proof of a theorem of Yates. Handwritten Notes (1976)
Greenberg, N., Ng, K.M., Wu, G.: Cuppable degrees and the high/low hierarchy (to appear)
Wang, Y., Li, A.: A hierarchy for the plus cupping Turing degrees. J. Symbolic Logic 68(3), 972–988 (2003)
Harrington, L.A.: Plus-cupping in the recursively enumerable degrees. Handwritten Notes (1978)
Li, A., Wu, G., Zhang, Z.: A hierarchy for cuppable degrees. Illinois J. Math. 44(3), 619–632 (2000)
Li, A.: A hierarchy characterisation of cuppable degrees. University of Leeds, Dept. of Pure Math 1, 21 (2001) Preprint series
Fejer, P.A., Soare, R.I.: The plus-cupping theorem for the recursively enumerable degrees. In: logic year 1979-80: University of Connecticut, pp. 49–62 (1981)
Soare, R.I.: Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic. Springer, Heidelberg (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, S., Wu, G. (2011). On a Hierarchy of Plus-Cupping Degrees. In: Löwe, B., Normann, D., Soskov, I., Soskova, A. (eds) Models of Computation in Context. CiE 2011. Lecture Notes in Computer Science, vol 6735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21875-0_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-21875-0_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21874-3
Online ISBN: 978-3-642-21875-0
eBook Packages: Computer ScienceComputer Science (R0)