Evitable iterates of the consistency operator (Q5880939)

From MaRDI portal
scientific article; zbMATH DE number 7661118
Language Label Description Also known as
English
Evitable iterates of the consistency operator
scientific article; zbMATH DE number 7661118

    Statements

    Evitable iterates of the consistency operator (English)
    0 references
    9 March 2023
    0 references
    proof theory
    0 references
    consistency
    0 references
    Martin's conjecture
    0 references

    Identifiers