Relative complexity for computable presentations of the conventional linear order on the set of naturals (Q1876412)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relative complexity for computable presentations of the conventional linear order on the set of naturals
scientific article

    Statements

    Relative complexity for computable presentations of the conventional linear order on the set of naturals (English)
    0 references
    0 references
    6 September 2004
    0 references
    The author studies the relationship between computable representations of the set of natural numbers with the conventional linear order. Two reducibility relations are introduced on the set of all such representations. Each of these relations determines a certain partially ordered set of degrees. The author considers some questions concerning the algebraic structure of these posets and the interlocation of various degrees. This is an English translation of the author's article [Mat. Tr. 5, No. 1, 114--128 (2002; Zbl 1009.03022)].
    0 references
    computable function
    0 references
    computable presentation
    0 references
    linear order
    0 references
    reducibility
    0 references
    degrees of unsolvability
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references