Skip to main navigation Skip to search Skip to main content

On a conjecture of Lempp

  • CAS - Institute of Software

Research output: Contribution to journalArticlepeer-review

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

Original languageEnglish
Pages (from-to)281-309
Number of pages29
JournalArchive for Mathematical Logic
Volume39
Issue number4
DOIs
StatePublished - May 2000
Externally publishedYes

Fingerprint

Dive into the research topics of 'On a conjecture of Lempp'. Together they form a unique fingerprint.

Cite this