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′.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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)