跳到主要导航 跳到搜索 跳到主要内容

On a conjecture of Lempp

  • CAS - Institute of Software

科研成果: 期刊稿件文章同行评审

摘要

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 WeT ∅.

源语言英语
页(从-至)281-309
页数29
期刊Archive for Mathematical Logic
39
4
DOI
出版状态已出版 - 5月 2000
已对外发布

学术指纹

探究 'On a conjecture of Lempp' 的科研主题。它们共同构成独一无二的学术指纹。

引用此