Algebraically Closed Regular Rings

Abstract

In this paper all rings are commutative and have a unity. All ring homomorphisms preserve the unity. We let L denote the standard language for rings with two distinct constants, 0 and 1, playing the role of the zero and the unity respectively. A ring is regular if it satisfies the axiom (∀r) (∃r′)(rr′r = r) and it is algebraically closed if, for each integer n ≧ 1, it satisfies the sentence