scientific article; zbMATH DE number 1390283
From MaRDI portal
Publication:4934570
zbMath0945.03061MaRDI QIDQ4934570
Publication date: 27 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
number-theoretic functionssubrecursive hierarchyfast growinggrowing rate of functionspointwise hierarchyslow growingunprovability results for PA
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items (3)
Unnamed Item ⋮ Pointwise Transfinite Induction and a Miniaturized Predicativity ⋮ An application of graphical enumeration to PA *
This page was built for publication: