DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP (Q3521600)

From MaRDI portal
scientific article
Language Label Description Also known as
English
DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
scientific article

    Statements

    DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP (English)
    0 references
    0 references
    26 August 2008
    0 references
    0 references
    Turing degrees
    0 references
    Turing jump
    0 references
    hyperdegrees
    0 references
    definability
    0 references
    automorphisms
    0 references
    0 references