Abstract
The representability is proved of the graphs of the W. Ackermann functions λxy. gn(x, y) and the A. Grzegorczyk functions fn in the class of positive rudimentary predicates of J. H. Bennett, found in the initial class
of A. Grzegorczyk. This essentially improves a result of S. V. Pakhomov on the representability of the graphs of fn in
. A generalization of the method of proof allows one to prove the positive rudimentarity of the graph of the W. Ackermann function λnxy · gn(x, y).
Similar content being viewed by others
Literature cited
J. H. Bennett, “On spectra,” Ph. D. Thesis, Princeton Univ. (1962).
A. Grzegorczyk, “Some classes of recursive functions,” Rozprawy Matematiczne,4, Warszawa (1953).
W. Ackermann, “Zur Hilbertschen Aufbau der reelen Zahlen,” Math. Ann.,99, No. 128, 118–133 (1928).
R. W. Ritchie, “Classes of recursive functions based on Ackermann's functions,” Pac. J. Math.,15, No. 3, 1027–1044 (1965).
S. V. Pakhomov, “Some properties of graphs of functions of the hierarchy of A. Grzegorczyk,” Zap. Nauchn. Sem. Leningr. Otd. Mat. Inst. Akad. Nauk SSSR,32, 21–23 (1972).
N. D. Jones, “Context-free languages and rudimentary attributes,” Math. Systems Theory,3, No. 2, 102 (1969).
K. Harrow, “The bounded arithmetic hierarchy,” Inf. Control,36, No. 1, 102–117 (1978).
R. M. Smullyan, Theory of Formal Systems, Princeton, New Jersey (1961).
Additional information
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 186–191, 1979.
Rights and permissions
About this article
Cite this article
Proskurin, A.V. Positive rudimentarity of the graphs of Ackermann and Grzegorczyk. J Math Sci 20, 2363–2366 (1982). https://doi.org/10.1007/BF01629447
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01629447