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



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024