Splitting theorems in recursion theory (Q1314544)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Splitting theorems in recursion theory |
scientific article |
Statements
Splitting theorems in recursion theory (English)
0 references
17 February 1994
0 references
A comprehensive, hundred-page treatment of splitting theorems in classical recursion theory (effective algebra and generalized recursion theory not included). Surveying known results and proofs, plus introducing several new ones of their own, the authors provide a state- of-the-art guide to splitting of r.e. sets. From classical theorems (Friedberg, Sacks) through the role of splittings in more recent work on the definability of the jump operator (Cooper) and Post's Program (Harrington-Soare) the field is examined thoroughly. And the bibliography of exactly 100 items is a useful reference source in its own right.
0 references
r.e. degree
0 references
lattice of r.e. sets
0 references
splitting theorems in classical recursion theory
0 references
splitting of r.e. sets
0 references
definability of the jump operator
0 references
Post's Program
0 references
0 references
0 references
0 references