|
A family of maximal subalgebras of R. Robinson's algebra
A. N. Degtev Tyumen State University
Abstract:
All maximal sub algebras of the algebra of primitive recursive functions $\langle\Phi;+,*,i\rangle$, whose basic sets contain the set
$$
A+\{f:f\equiv0\vee(\forall\,x)(x>0\Rightarrow f(x)>0)\}
$$
are described. It is shown that they are continuum in number.
Received: 17.12.1975
Citation:
A. N. Degtev, “A family of maximal subalgebras of R. Robinson's algebra”, Mat. Zametki, 22:4 (1977), 511–516; Math. Notes, 22:4 (1977), 775–778
Linking options:
https://www.mathnet.ru/eng/mzm8072 https://www.mathnet.ru/eng/mzm/v22/i4/p511
|
Statistics & downloads: |
Abstract page: | 215 | Full-text PDF : | 71 | First page: | 1 |
|