KIAM Main page Web Library  •  Publication Searh  Русский 

Article collection "Mathematical Problems of Cybernetics" №3, Moscow, 1991
Authors: Marchenkov S.S.
The bases under superposition in some classes of recursive functions
The review presents general methods for constructing bases under superpositions (finite or infinite) in the class of total functions. We establish a criterion for existance of bases in □2-closed classes in terms of maximally universal functions. Various examples of bases in the class of Kalmar elementary functions are presented. We prove that every countable class closed under primitive recursion has an infinite basis under superposition. The obtained general theorems bind the existance of bases under superposition in classes of single variable and multiple variable functions.
bases under superposition, classes of recursive functions
Publication language: russian,  pages: 25 (p. 115-139)
Research direction:
Mathematical problems and theory of numerical methods
Russian source text:
List of publications citation:
Export link to publication in format:   RIS    BibTeX
About authors:
  • Marchenkov Sergey Seraphimovich,  ,  Факультет вычислительной математики и кибернетики МГУ, кафедра математической кибернетики