|
Zapiski Nauchnykh Seminarov LOMI, 1971, Volume 20, Pages 60–66
(Mi znsl2397)
|
|
|
|
On algorithmical sequences belonging to the initial class of Grzegorczyk hierarchy
N. K. Kossovski
Abstract:
It is proved that for any recursive sequence $f$ there exists a sequence $g$ of Grzegorczyk class $E^0$ such that $g(0),g(1),\dots$ is obtained from $f(0),f(1),\dots$ by replacing some members $f(i)$ by finite sequences $f(i),\dots,f(i)$.
This implies that every recursively convergent recursive sequence of rational numbers can be represented by a functions from $E^0$.
Citation:
N. K. Kossovski, “On algorithmical sequences belonging to the initial class of Grzegorczyk hierarchy”, Studies in constructive mathematics and mathematical logic. Part IV, Zap. Nauchn. Sem. LOMI, 20, "Nauka", Leningrad. Otdel., Leningrad, 1971, 60–66
Linking options:
https://www.mathnet.ru/eng/znsl2397 https://www.mathnet.ru/eng/znsl/v20/p60
|
|