Classifying the Provably Total Functions of PA (Q3430936)

From MaRDI portal
Revision as of 19:58, 4 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Classifying the Provably Total Functions of PA
scientific article

    Statements

    title
    Classifying the Provably Total Functions of PA (English)
    0 references
    author
    Andreas Weiermann
    0 references
    publication date
    5 April 2007
    0 references
    Mathematics Subject Classification ID
    03F30
    0 references
    03D20
    0 references
    03F05
    0 references
    03F15
    0 references
    zbMATH DE Number
    5140657
    0 references
    zbMATH Keywords
    classification of provably computable functions of PA
    0 references
    cut elimination
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3430936&oldid=16734550"
    Powered by MediaWiki