VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY (Q5037515)

From MaRDI portal
scientific article; zbMATH DE number 7482176
Language Label Description Also known as
English
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
scientific article; zbMATH DE number 7482176

    Statements

    VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY (English)
    0 references
    0 references
    0 references
    0 references
    1 March 2022
    0 references
    0 references
    Kreisel's conjecture
    0 references
    provability predicate
    0 references
    formal arithmetic
    0 references
    0 references
    0 references