Tabular degrees in \(\alpha\)-recursion theory (Q1184713): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 23:37, 4 March 2024

scientific article
Language Label Description Also known as
English
Tabular degrees in \(\alpha\)-recursion theory
scientific article

    Statements

    Tabular degrees in \(\alpha\)-recursion theory (English)
    0 references
    28 June 1992
    0 references
    This paper develops the foundations of a theory of truth-table reducibilities in the setting of \(\alpha\)-recursion. A generalization of \(tt\)-reducibility and several generalizations of weak-\(tt\)-reducibility are given and their properties explored. Most of the main results deal with regular sets. For example, for each of the reducibilities given, any degree containing a regular set is composed exclusively of regular sets; thus Sacks' regular set theorem does not carry over to these truth-table degrees.
    0 references
    truth-table reducibilities
    0 references
    \(\alpha\)-recursion
    0 references
    regular sets
    0 references
    0 references
    0 references

    Identifiers