Classifying the phase transition threshold for Ackermannian functions

Eran Omri, Andreas Weiermann

نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

6 اقتباسات (Scopus)

ملخص

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
منشور خارجيًانعم

بصمة

أدرس بدقة موضوعات البحث “Classifying the phase transition threshold for Ackermannian functions'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا