On decomposition of the \(0'\) degree into lesser \(T\)-degrees containing differences of recursively enumerable sets (Q1897906)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On decomposition of the \(0'\) degree into lesser \(T\)-degrees containing differences of recursively enumerable sets |
scientific article |
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