No label defined (Q4934555)

From MaRDI portal
scientific article; zbMATH DE number 1390268
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1390268

    Statements

    0 references
    17 January 2000
    0 references
    proof theory
    0 references
    finitary analysis of proof figures
    0 references
    ordinal diagrams
    0 references
    Howard ordinal
    0 references
    recursively large ordinals
    0 references

    Identifiers