Finite cupping sets
Lewis-Pye, A.
(2004).
Finite cupping sets.
Archive for Mathematical Logic,
43(7), 845-858.
https://doi.org/10.1007/s00153-004-0215-5
We show that given any (Turing) degree 0<c≤0’ and any uniformly Δ2 sequence of degrees b 0 ,b 1 ,b 2 ,.. such that ∀i(b i ≱ c), there exists 0<a<0’ such that for all i≥0, a∨b i ≱ c. If c is c.e. and b 0 ,b 1 ,b 2 ,.. are uniformly (strictly) below c then there exists such an a below c.
| Item Type | Article |
|---|---|
| Copyright holders | © 2004 Springer |
| Departments | LSE > Academic Departments > Mathematics |
| DOI | 10.1007/s00153-004-0215-5 |
| Date Deposited | 06 Aug 2013 |
| URI | https://researchonline.lse.ac.uk/id/eprint/51416 |
Explore Further
- https://www.scopus.com/pages/publications/18744366159 (Scopus publication)
- http://link.springer.com/journal/153 (Official URL)