|
Zapiski Nauchnykh Seminarov LOMI, 1972, Volume 32, Pages 105–107
(Mi znsl2571)
|
|
|
|
Some properties of graphs of functions in the Grzegorczyk hierarchy
S. V. Pakhomov
Abstract:
Let $\Gamma^n$ be the set of all primitive recursive functions whose graphs belong to $\varepsilon^n$ [I]. It is proved that $\Gamma^n$ is the closure of $\varepsilon^n$ relative to identification and permutation of variables, to substitution of constants and to special operations I)–4) on p.p. 105–106. In particular $f_n\in\Gamma^0$ for every $n\geq 3$. Here $f_n$ is a modification of Ackermana's function described in [I] p. 30.
Citation:
S. V. Pakhomov, “Some properties of graphs of functions in the Grzegorczyk hierarchy”, Studies in constructive mathematics and mathematical logic. Part V, Zap. Nauchn. Sem. LOMI, 32, "Nauka", Leningrad. Otdel., Leningrad, 1972, 105–107
Linking options:
https://www.mathnet.ru/eng/znsl2571 https://www.mathnet.ru/eng/znsl/v32/p105
|
Statistics & downloads: |
Abstract page: | 174 | Full-text PDF : | 87 |
|