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
מזהי עצם דיגיטלי (DOIs)
סטטוס פרסוםפורסם - אפר׳ 2009
פורסם באופן חיצוניכן

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Classifying the phase transition threshold for Ackermannian functions'. יחד הם יוצרים טביעת אצבע ייחודית.

פורמט ציטוט ביבליוגרפי