Title of article :
Classifying the phase transition threshold for Ackermannian functions
Author/Authors :
Omri، نويسنده , , Eran and Weiermann، نويسنده , , Andreas، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2009
Abstract :
It is well known that the Ackermann function can be defined via diagonalization from an iteration hierarchy (of Grzegorczyk type) which is built on a start function like the successor function. In this paper we study for a given start function g iteration hierarchies with a sub-linear modulus h of iteration. In terms of g and h we classify the phase transition for the resulting diagonal function from being primitive recursive to being Ackermannian.
Keywords :
Ackermann function , Fast growing hierarchy , phase transition , Threshold
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic