On decomposition of the \(0'\) degree into lesser \(T\)-degrees containing differences of recursively enumerable sets (Q1897906)

From MaRDI portal





scientific article; zbMATH DE number 794558
Language Label Description Also known as
default for all languages
No label defined
    English
    On decomposition of the \(0'\) degree into lesser \(T\)-degrees containing differences of recursively enumerable sets
    scientific article; zbMATH DE number 794558

      Statements

      On decomposition of the \(0'\) degree into lesser \(T\)-degrees containing differences of recursively enumerable sets (English)
      0 references
      17 September 1995
      0 references
      First I would like to notice that the term ``decomposition'' in the English translation of the title is not completely accurate, because in recursion theory the term ``splitting'' is more general in use. The differences of recursively enumerable (r.e.) sets (briefly, d.r.e. sets) and their degrees are by their properties very close to r.e. sets and degrees. But there are some important differences between them. One of these differences is the non-density of d.r.e. degrees, proved by S. B. Cooper, L. Harrington, A. H. Lachlan, S. Lempp, R. I. Soare. Another difference was found by the author who proves that the degree \(0'\), which is maximal in both the classes of r.e. and d.r.e. degrees, is splittable over any incomplete r.e. degree in the d.r.e. degrees (the impossibility of such a splitting in the r.e. degrees was obtained by A. H. Lachlan (1976) using his famous `monstrous injury' argument).
      0 references
      splitting
      0 references
      d.r.e. sets
      0 references
      d.r.e. degrees
      0 references

      Identifiers