Book chapters will be unavailable on Saturday 24th August between 8am-12pm BST. This is for essential maintenance which will provide improved performance going forwards. Please accept our apologies for any inconvenience caused.
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 . 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.