|
This article is cited in 2 scientific papers (total in 2 papers)
Class of algebras of primitive recursive functions
V. L. Mikheev Chuvash State University
Abstract:
In this paper Robinson's algebra is embedded in a countable class of algebras of primitive recursive functions. Each algebra of this class contains the operations of addition and composition of functions and also one of the operations $i_a$ which are defined as follows: $g(x)=i_af(x)$ ($a=0,1,2,\dots$) if $g(x)$ satisfies the equations $g(0)=a$, $g(x+1)=f(g(x))$. In this paper we study the properties possessed by all or almost all the algebras of this class.
Received: 20.12.1970
Citation:
V. L. Mikheev, “Class of algebras of primitive recursive functions”, Mat. Zametki, 14:1 (1973), 143–156; Math. Notes, 14:1 (1973), 638–645
Linking options:
https://www.mathnet.ru/eng/mzm7215 https://www.mathnet.ru/eng/mzm/v14/i1/p143
|
Statistics & downloads: |
Abstract page: | 196 | Full-text PDF : | 84 | First page: | 1 |
|