|
Zapiski Nauchnykh Seminarov LOMI, 1974, Volume 40, Pages 127–130
(Mi znsl2688)
|
|
|
|
Some simple syntactical definition of all classes of Grzegorczyk hierarchy
S. V. Pakhomov
Abstract:
Let $\widetilde E^n$ be the least class of primitive recursive functions which contains initial functions of $E^n$ [1] and is closed under substitution and special recursion (see def. 5). Then $\widetilde E^n=E^n$.
Citation:
S. V. Pakhomov, “Some simple syntactical definition of all classes of Grzegorczyk hierarchy”, Studies in constructive mathematics and mathematical logic. Part VI, Zap. Nauchn. Sem. LOMI, 40, "Nauka", Leningrad. Otdel., Leningrad, 1974, 127–130
Linking options:
https://www.mathnet.ru/eng/znsl2688 https://www.mathnet.ru/eng/znsl/v40/p127
|
Statistics & downloads: |
Abstract page: | 140 | Full-text PDF : | 50 |
|