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.

We show that all QE rings of prime power characteristic are constructed in a straightforward way out of three components: a filtered Boolean power of a finite field, a nilpotent Jacobson radical, and the ring Z p n or the Witt ring W 2 (F 4 ) (which is the characteristic four analogue of the Galois field with four elements).