|
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 ⟨Φ;+,∗,i⟩, whose basic sets contain the set
A+{f:f≡0∨(∀x)(x>0⇒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: | 238 | Full-text PDF : | 84 | First page: | 1 |
|