TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES (Q4692077)

From MaRDI portal
scientific article; zbMATH DE number 6966183
Language Label Description Also known as
English
TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES
scientific article; zbMATH DE number 6966183

    Statements

    TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    26 October 2018
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    applicative theories
    0 references
    explicit mathematics
    0 references
    abstract computability
    0 references
    (semi-)decidability
    0 references
    Kleene's second model
    0 references
    graph model
    0 references
    Hausdorff-Kuratowski difference hierarchy
    0 references
    0 references