RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive
Zap. Nauchn. Sem. LOMI, 1979 Volume 88, Pages 218–235 (Mi znsl3116)
This article is cited in 1 paper

On canonical recursive functions and operations

N. A. Shanin


Abstract: Some properties of canonical recursive functions and operations are established. This gives a way to formulate a calculus for these functions and operations similar to Goodstein's equations calculus for primitive recursive functions.

UDC: 510.57


 English version: Journal of Soviet Mathematics, 1982, 20:4, 2381–2390

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025