Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-06T04:14:16.004Z Has data issue: false hasContentIssue false

Corrigendum: “Rings which admit elimination of quantifiers”

Published online by Cambridge University Press:  12 March 2014

Bruce I. Rose*
Affiliation:
University of Notre Dame, Notre Dame, Indiana 46556

Extract

Matatyahu Rubin pointed out that the proof of Lemma 6.1 [2] works only for rings of prime or zero characteristic. This invalidates the characterization of semiprime rings with the descending chain condition on right or left ideals which admit elimination of quantifiers given in [2] and cited in the abstract [1]. Although the correct characterization is easy to derive, it is complex to state.

Let be the class of finite fields. Let be the class of 2 × 2 matrix rings over a field with a prime number of elements. Let be the class of rings of the form GF(pn) ⊕ GF(pk) such that either n = k or g.c.d.(n, k) = 1 and p is a prime. Let ′ be the class of algebraically closed fields. Let P denote the set of all prime numbers together with zero. Let be the set of all ordered pairs (f, Q) where Q is a finite subset of P and f: Q such that the characteristic of the ring f(q) is q. Finally, let be the class of rings of the form ⊕q∈Qf(q) for some (f,Q) in .

A corrected version of Theorem 6.2 [2] is

Theorem 1. Let R be a ring with the descending chain condition on left or right ideals and without nonzero trivial ideals. Then R admits elimination of quantifiers if only if R belong to.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1979

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Rose, B. I., Rings which admit elimination of quantifiers, abstract, St. Louis meeting of the Association for Symbolic Logic, this Journal, vol. 43(1978), p. 366.Google Scholar
[2]Rose, B. I., Rings which admit elimination of quantifiers, this Journal, vol. 43(1978), pp. 92112.Google Scholar