LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR (Q4295223)

From MaRDI portal
scientific article; zbMATH DE number 584624
Language Label Description Also known as
English
LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
scientific article; zbMATH DE number 584624

    Statements

    LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR (English)
    0 references
    0 references
    21 August 1994
    0 references
    0 references
    0 references
    0 references
    0 references
    untyped comprehension
    0 references
    partial classifications
    0 references
    Myhill-Flagg hierarchy of implications
    0 references
    generalized recursion theory
    0 references
    asymmetric interpretation
    0 references
    type-free framework for property theory
    0 references
    first-order \(\lambda\)-calculus
    0 references
    0 references