ملخص
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.
اللغة الأصلية | الإنجليزيّة |
---|---|
الصفحات (من إلى) | 156-162 |
عدد الصفحات | 7 |
دورية | Annals of Pure and Applied Logic |
مستوى الصوت | 158 |
رقم الإصدار | 3 |
المعرِّفات الرقمية للأشياء | |
حالة النشر | نُشِر - أبريل 2009 |
منشور خارجيًا | نعم |