scientific article
From MaRDI portal
Publication:3773880
zbMath0635.03056MaRDI QIDQ3773880
Stanley S. Wainer, Wilfried Buchholz
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof theoryrelativizationfast growing hierarchyprovably recursive functionsCut eliminationaccessibility of a natural numberaccumulation ruleLöb-Wainer hierarchyordinals of proofsprovably computable functions
Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15)
Related Items
A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems ⋮ A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH ⋮ Functoroids and ptykoids ⋮ Herbrand analyses ⋮ Sometimes slow growing is fast growing ⋮ Short proofs for slow consistency ⋮ A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem. ⋮ Predicatively unprovable termination of the Ackermannian Goodstein process ⋮ A WALK WITH GOODSTEIN ⋮ Parameter free induction and provably total computable functions ⋮ Ordinal numbers and the Hilbert basis theorem ⋮ A slow growing analogue to Buchholz' proof ⋮ What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory ⋮ Fast growing functions based on Ramsey theorems ⋮ Ordinal complexity of recursive definitions ⋮ Subsystems of true arithmetic and hierarchies of functions ⋮ Proof lengths for instances of the Paris-Harrington principle ⋮ Proof theory and ordinal analysis ⋮ Notation systems for infinitary derivations ⋮ An Unprovable Ramsey-Type Theorem ⋮ Unnamed Item ⋮ GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
