Friedberg splittings of recursively enumerable sets (Q685058): Difference between revisions
From MaRDI portal
Latest revision as of 10:28, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Friedberg splittings of recursively enumerable sets |
scientific article |
Statements
Friedberg splittings of recursively enumerable sets (English)
0 references
22 September 1993
0 references
The authors investigate Friedberg splittings and in particular their orbits and degrees for various classes of r.e. sets. The starting point was the following conjecture: All Friedberg splittings of (simple) sets are automorphic. The authors show that a true Friedberg splitting (\(t\)- split) is not enough to guarantee automorphism. But the authors introduce a new notion of splitting (an \(e\)-splitting) and show that \(e\)-splittings of an r.e. set are automorphic. The authors also discuss another conjecture: Do \(f\)-creative sets form an orbit? Although they have not answered this question, they do classify the degrees of \(f\)-creative sets as exactly the promptly simple ones. Furthermore, since there are \(e\)- creative sets of all promptly simple degrees, there is an orbit in \(\Aut({\mathcal E})\) realizing exactly the promptly simple degrees. At last, the authors examine some other hemiproperties. In particular, they give proofs of results that there are nonhalfhemisimple sets yet there are completely halfhemisimple degrees.
0 references
creative sets
0 references
Friedberg splittings
0 references
orbits
0 references
degrees
0 references
automorphism
0 references
promptly simple degrees
0 references
hemiproperties
0 references
halfhemisimple degrees
0 references
0 references
0 references