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
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers