Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part VIII, Tome 88 (1979), pp. 218-235
Citer cet article
N. A. Shanin. On canonical recursive functions and operations. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part VIII, Tome 88 (1979), pp. 218-235. http://geodesic.mathdoc.fr/item/ZNSL_1979_88_a17/
@article{ZNSL_1979_88_a17,
author = {N. A. Shanin},
title = {On canonical recursive functions and operations},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {218--235},
year = {1979},
volume = {88},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1979_88_a17/}
}
TY - JOUR
AU - N. A. Shanin
TI - On canonical recursive functions and operations
JO - Zapiski Nauchnykh Seminarov POMI
PY - 1979
SP - 218
EP - 235
VL - 88
UR - http://geodesic.mathdoc.fr/item/ZNSL_1979_88_a17/
LA - ru
ID - ZNSL_1979_88_a17
ER -
%0 Journal Article
%A N. A. Shanin
%T On canonical recursive functions and operations
%J Zapiski Nauchnykh Seminarov POMI
%D 1979
%P 218-235
%V 88
%U http://geodesic.mathdoc.fr/item/ZNSL_1979_88_a17/
%G ru
%F ZNSL_1979_88_a17
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.
