摘要
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 ∅.
| 源语言 | 英语 |
|---|---|
| 页(从-至) | 281-309 |
| 页数 | 29 |
| 期刊 | Archive for Mathematical Logic |
| 卷 | 39 |
| 期 | 4 |
| DOI | |
| 出版状态 | 已出版 - 5月 2000 |
| 已对外发布 | 是 |
学术指纹
探究 'On a conjecture of Lempp' 的科研主题。它们共同构成独一无二的学术指纹。引用此
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver