Article contents
The Ackermann functions are not optimal, but by how much?
Published online by Cambridge University Press: 12 March 2014
Abstract
By taking a closer look at the construction of an Ackermann function we see that between any primitive recursive degree and its Ackermann modification there is a dense chain of primitive recursive degrees.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2010
References
REFERENCES
[1]
Ackermann, W., Zum Hilbertschen Aufbau der reellen Zahlen, Mathematische Annalen, vol. 99 (1928), pp. 118–133.Google Scholar
[2]
Cleave, J. P. and Rose, H. E.,
-arithmetic, Sets, models and recursion theory (Crossley, J. N., editor), North Holland, 1967, pp. 297–308.Google Scholar
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20180522083415083-0241:S0022481200002966:S0022481200002966_inline1.gif?pub-status=live)
[3]
Grzegorczyk, A., Some classes of recursive functions, Rozprawy Matematyczne, vol. 4 (1953), pp. 1–45.Google Scholar
[4]
Löb, M. E. and Wainer, S. S., Hierachies of number-theoretic functions, Part I, Archiv für Mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 39–51.Google Scholar
[5]
Löb, M. E. and Wainer, S. S., Hierachies of number-theoretic functions, Part II, Archiv für Mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 97–113.CrossRefGoogle Scholar
[8]
Péter, R., Konstruktion nichtrekursiver Funktionen, Mathematische Annalen, vol. 111 (1935), pp. 42–60.Google Scholar
[10]
Robinson, R. M., Recursion and double recursion, Bulletin of the American Mathematical Society, vol. 54 (1948), pp. 987–993.Google Scholar
[11]
Rose, H. E., Subrecursion, functions and hierarchies, Oxford University Press, 1984.Google Scholar
[12]
Simmons, H., A density property of the primitive recursive degrees, Technical Report UMCS-93-1-1. Department Of Computer Science, Victoria University of Manchester.Google Scholar
[15]
Smullyan, R. M., Theory of formal systems, Annals of Mathematics Studies, no. 47, Princeton University Press, 1961.Google Scholar
- 1
- Cited by