RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
Zap. Nauchn. Sem. 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$
.
UDC:
51.01:518.5
Fulltext:
PDF file (231 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024