The computably enumerable degrees are locally non-cappable (Q1879005)

From MaRDI portal





scientific article; zbMATH DE number 2101705
Language Label Description Also known as
default for all languages
No label defined
    English
    The computably enumerable degrees are locally non-cappable
    scientific article; zbMATH DE number 2101705

      Statements

      The computably enumerable degrees are locally non-cappable (English)
      0 references
      0 references
      22 September 2004
      0 references
      The bulk of this paper is devoted to a proof that every non-computable incomplete computably enumerable degree is locally non-cappable. Seetapun proved this in his thesis, but the new proof given here is a priority argument patterned after \textit{R. Soare}'s link/list proof of the Lachlan non-bounding theorem [Recursively enumerable sets and degrees, Berlin: Springer-Verlag (1987; Zbl 0667.03030)]. An immediate corollary is that there is no maximal non-bounding computably enumerable degree.
      0 references
      computably enumerable degree
      0 references
      maximal
      0 references
      non-bounding
      0 references
      cappable
      0 references
      link/list
      0 references

      Identifiers