Hilbert’s Programme and Ordinal Analysis (Q5221861)

From MaRDI portal
scientific article; zbMATH DE number 7185556
Language Label Description Also known as
English
Hilbert’s Programme and Ordinal Analysis
scientific article; zbMATH DE number 7185556

    Statements

    Hilbert’s Programme and Ordinal Analysis (English)
    0 references
    0 references
    3 April 2020
    0 references
    Hilbert's programme
    0 references
    ordinal analysis
    0 references
    ordinal notations
    0 references
    semiformal calculi
    0 references
    cut elimination
    0 references
    normalization
    0 references
    provably recursive functions
    0 references

    Identifiers

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