scientific article; zbMATH DE number 922625
From MaRDI portal
Publication:4893145
zbMath0854.03053MaRDI QIDQ4893145
Benjamin Blankertz, Andreas Weiermann
Publication date: 13 January 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peano arithmeticcut-eliminationordinal analysisprovably total functionsprovably recursive functionsordinal recursive functionssubrecursive hierarchiesoperator controlled derivations
Cut-elimination and normal-form theorems (03F05) Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15)
Related Items (6)
On the Performance of Axiom Systems ⋮ Streamlined subrecursive degree theory ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ Iterated Inductive Definitions Revisited ⋮ Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results ⋮ Classifying the Provably Total Functions of PA
This page was built for publication:
