Geodesic
Corrigendum to: V. A. Sokolov, ``On the existence problem of finite bases of identities in the algebras of recursive functions'', Modeling and Analysis of Information Systems, vol.~27, no.~3, pp.~304--315, 2020. DOI: \href{https://doi.org/10.18255/1818-1015-2020-3-304-315}{https://doi.org/10.18255/1818-1015-2020-3-304-315}
Modelirovanie i analiz informacionnyh sistem, Tome 27 (2020) no. 4, pp. 510-511.

Voir la notice de l'article provenant de la source Math-Net.Ru

The author regrets that in the original list the references [3] and [4] are in the wrong places and they should be rearranged. In addition, [3] has the wrong article title. The corrected reference list is shown below.The author would like to apologize for an inconvenience caused. References [1] A. I. Mal'tsev, “Constructive algebras I”, Russian Mathematical Surveys, vol. 16, no. 3, pp. 77-129, 1961. [2] A.I. Mal'tsev, Algoritmy i rekursivnye funktsii. Moscow: Nauka, 1965, In Russian. [3] R. M. Robinson, “Primitive recursive functions”, Bulletin of the American Mathematical Society, vol. 53, no. 10, pp. 925-942, 1947. [4] J. Robinson, “General recursive functions”, Proceedings of the American Mathematical Society, vol. 1, no. 6, pp. 703-718, 1950. [5] V.A. Sokolov, “Ob odnom klasse tozhdestv v algebre Robinsona”, in 14-ya Vsesoyuznaya algebraicheskaya konferentsiya: tezisy dokladov, In Russian, vol. 2, Novosibirsk, 1977, pp. 123-124. [6] P. M. Cohn, Universal Algebra. New York, Evanston, and London: Harper & Row, 1965. [7] A. Robinson, “Equational logic for partial functions under Kleene equality: a complete and an incomplete set of rules”, The Journal of Symbolic Logic, vol. 54, no. 2, pp. 354-362, 1989.
Keywords: algebra, recursive function, identity, basis, iteration, function inversion.
Mots-clés : superposition 
@article{MAIS_2020_27_4_a9,
     author = {V. A. Sokolov},
     title = {Corrigendum to: {V.} {A.} {Sokolov,} {``On} the existence problem of finite bases of identities in the algebras of recursive functions'', {Modeling} and {Analysis} of {Information} {Systems,} vol.~27, no.~3, pp.~304--315, 2020. {DOI:} \href{https://doi.org/10.18255/1818-1015-2020-3-304-315}{https://doi.org/10.18255/1818-1015-2020-3-304-315}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {510--511},
     publisher = {mathdoc},
     volume = {27},
     number = {4},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2020_27_4_a9/}
}
TY  - JOUR
AU  - V. A. Sokolov
TI  - Corrigendum to: V. A. Sokolov, ``On the existence problem of finite bases of identities in the algebras of recursive functions'', Modeling and Analysis of Information Systems, vol.~27, no.~3, pp.~304--315, 2020. DOI: \href{https://doi.org/10.18255/1818-1015-2020-3-304-315}{https://doi.org/10.18255/1818-1015-2020-3-304-315}
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2020
SP  - 510
EP  - 511
VL  - 27
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2020_27_4_a9/
LA  - ru
ID  - MAIS_2020_27_4_a9
ER  - 
%0 Journal Article
%A V. A. Sokolov
%T Corrigendum to: V. A. Sokolov, ``On the existence problem of finite bases of identities in the algebras of recursive functions'', Modeling and Analysis of Information Systems, vol.~27, no.~3, pp.~304--315, 2020. DOI: \href{https://doi.org/10.18255/1818-1015-2020-3-304-315}{https://doi.org/10.18255/1818-1015-2020-3-304-315}
%J Modelirovanie i analiz informacionnyh sistem
%D 2020
%P 510-511
%V 27
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2020_27_4_a9/
%G ru
%F MAIS_2020_27_4_a9
V. A. Sokolov. Corrigendum to: V. A. Sokolov, ``On the existence problem of finite bases of identities in the algebras of recursive functions'', Modeling and Analysis of Information Systems, vol.~27, no.~3, pp.~304--315, 2020. DOI: \href{https://doi.org/10.18255/1818-1015-2020-3-304-315}{https://doi.org/10.18255/1818-1015-2020-3-304-315}. Modelirovanie i analiz informacionnyh sistem, Tome 27 (2020) no. 4, pp. 510-511. http://geodesic.mathdoc.fr/item/MAIS_2020_27_4_a9/

[1] A. I. Mal'tsev, “Constructive algebras I”, Russian Mathematical Surveys, 16:3 (1961), 77–129 | DOI | Zbl

[2] A. I. Mal'tsev, Algoritmy i rekursivnye funktsii, Nauka, M., 1965 (In Russian)

[3] R. M. Robinson, “Primitive recursive functions”, Bulletin of the American Mathematical Society, 53:10 (1947), 925–942 | DOI | MR | Zbl

[4] J. Robinson, “General recursive functions”, Proceedings of the American Mathematical Society, 1:6 (1950), 703–718 | DOI | MR | Zbl

[5] V. A. Sokolov, “Ob odnom klasse tozhdestv v algebre Robinsona”, 14-ya Vsesoyuznaya algebraicheskaya konferentsiya, tezisy dokladov, v. 2, Novosibirsk, 1977, 123–124 (In Russian)

[6] P. M. Cohn, Universal Algebra, Harper Row, New York–Evanston–London, 1965 | MR | Zbl

[7] A. Robinson, “Equational logic for partial functions under Kleene equality: a complete and an incomplete set of rules”, The Journal of Symbolic Logic, 54:2 (1989), 354–362 | DOI | MR | Zbl