Modelirovanie i Analiz Informatsionnykh Sistem
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Modelirovanie i Analiz Informatsionnykh Sistem, 2020, Volume 27, Number 4, Pages 510–511
DOI: https://doi.org/10.18255/1818-1015-2020-4-510-511
(Mi mais731)
 

Erratum

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: https://doi.org/10.18255/1818-1015-2020-3-304-315

V. A. Sokolov

P. G. Demidov Yaroslavl State University, 14 Sovetskaya, Yaroslavl 150003, Russia
References:
Abstract: 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, superposition, iteration, function inversion.
Received: 11.12.2020
Revised: 11.12.2020
Accepted: 11.12.2020
Document Type: Letter, errata
UDC: 512.57
MSC: 03D20
Language: Russian
Citation: 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: https://doi.org/10.18255/1818-1015-2020-3-304-315”, Model. Anal. Inform. Sist., 27:4 (2020), 510–511
Citation in format AMSBIB
\Bibitem{Sok20}
\by V.~A.~Sokolov
\paper 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}
\jour Model. Anal. Inform. Sist.
\yr 2020
\vol 27
\issue 4
\pages 510--511
\mathnet{http://mi.mathnet.ru/mais731}
\crossref{https://doi.org/10.18255/1818-1015-2020-4-510-511}
Linking options:
  • https://www.mathnet.ru/eng/mais731
  • https://www.mathnet.ru/eng/mais/v27/i4/p510
    Errata
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Моделирование и анализ информационных систем
    Statistics & downloads:
    Abstract page:100
    Full-text PDF :35
    References:23
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024