Variations on a theme by Weiermann

DOI10.2307/2586719MaRDI QIDQ4227873zbMATH OpenOpenAlexFDO

Authors Toshiyasu Arai

Publication date 19 August 1999

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2586719

zbMATH Keywords

cut-eliminationprovably recursive functionslocal predicativityslow growing hierarchiesfast growing hierarchiesanalysis of arithmetical systemshierarchy generating functionsimpredicative proof theorynorm bounding transfinite recursion

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Recommendations

• How to characterize provably total functions by local predicativity
• scientific article; zbMATH DE number 1215495
• scientific article; zbMATH DE number 4033742

Cites work

• A Uniform Approach to Fundamental Sequences and Hierarchies
• A slow growing analogue to Buchholz' proof
• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• Consistency proof via pointwise induction
• Elementary descent recursion and proof theory
• Proof-theoretic analysis of termination proofs
• Transfinite induction within Peano arithmetic

Cited in

(8)

• Variations on a theme of M. G. Kre??n
• On the slowly well orderedness of \(\varepsilon_0\)
• A SECOND NORMAL FORM FOR FUNCTIONS OF THE SYSTEM EP
• Bagatelle in C arranged for VDM SoLo
• 2004 Summer Meeting of the Association for Symbolic Logic
• Sometimes slow growing is fast growing
• Variations on a theme of Steinberg.
• Some results on cut-elimination, provable well-orderings, induction and reflection

This page was built for publication: Variations on a theme by Weiermann

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227873)