Article contents
Rings which admit elimination of quantifiers
Published online by Cambridge University Press: 12 March 2014
Abstract
The aim of this paper is to provide an addendum to a paper by Rose with the same title which has appeared in an earlier issue of this Journal [2]. Our new result is:
Theorem. A ring of characteristic zero which admits elimination of quantifiers in the language (0, 1, +, ·) is an algebraically closed field.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1981
References
REFERENCES
- 3
- Cited by