کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662744 1633521 2009 7 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Classifying the phase transition threshold for Ackermannian functions
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Classifying the phase transition threshold for Ackermannian functions
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 158, Issue 3, April 2009, Pages 156-162