Abstract
In this paper, we first prove that there exist computably enumerable (c.e.) degrees a and b such that a ≰ b, and for any c.e. degree u, if u ≤ a and u is cappable, then u ≤ b, so refuting a conjecture of Lempp (in Slaman [1996]); secondly, we prove that: (A. Li and D. Wang) there is no uniform construction to build nonzero cappable degree below a nonzero c.e. degree, that is, there is no computable function f such that for all e ∈ ω, (i) Wf(e) ≤T We, (ii) Wf(e) has a cappable degree, and (iii) Wf(e) ≰T ∅ unless We ≰T ∅.
| Original language | English |
|---|---|
| Pages (from-to) | 281-309 |
| Number of pages | 29 |
| Journal | Archive for Mathematical Logic |
| Volume | 39 |
| Issue number | 4 |
| DOIs | |
| State | Published - May 2000 |
| Externally published | Yes |
Fingerprint
Dive into the research topics of 'On a conjecture of Lempp'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver