MÜNCHHAUSEN PROVABILITY (Q5015723)

From MaRDI portal
scientific article; zbMATH DE number 7442018
Language Label Description Also known as
English
MÜNCHHAUSEN PROVABILITY
scientific article; zbMATH DE number 7442018

    Statements

    MÜNCHHAUSEN PROVABILITY (English)
    0 references
    0 references
    9 December 2021
    0 references
    provability logics
    0 references
    ordinal analysis
    0 references
    second order arithmetic
    0 references
    transfinite polymodal provability
    0 references
    modal logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references