Rings Which Admit Elimination of Quantifiers

Berline, Chantal

J. Symbolic Logic, Tome 46 (1981) no. 1, p. 56-58 / Harvested from Project Euclid

Résumé

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, +, \cdot\}$ is an algebraically closed field.

Publié le : 1981-03-14
Classification:

@article{1183740718,
     author = {Berline, Chantal},
     title = {Rings Which Admit Elimination of Quantifiers},
     journal = {J. Symbolic Logic},
     volume = {46},
     number = {1},
     year = {1981},
     pages = { 56-58},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183740718}
}

Berline, Chantal. Rings Which Admit Elimination of Quantifiers. J. Symbolic Logic, Tome 46 (1981) no. 1, pp.  56-58. http://gdmltest.u-ga.fr/item/1183740718/