תקציר
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'. יחד הם יוצרים טביעת אצבע ייחודית.פורמט ציטוט ביבליוגרפי
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver