A valuation ring analogue of von Neumann regularity (Q866563)

The author unifies results on certain (Rumely) domains, arising from the work of \textit{A.~Macintyre} and \textit{L.~van den Dries} [``The logic of Rumely's local-global principle'', J.~Reine Angew.~Math. 407, 33--56 (1990; Zbl 0703.13021)], and \textit{A.~Prestel} and \textit{J.~Schmid} [``Existentially closed domains with radical relations'', J.~Reine Angew.~Math. 407, 178--201 (1990; Zbl 0691.12013)], on the theory of the ring of absolute algebraic integers, with earlier results of \textit{A.~Carson} [``The model completion of the theory of commutative regular rings'', J.~Algebra 27, 136--146 (1973; Zbl 0279.02037)] and \textit{L.~Lipshitz} and \textit{D.~Saracino} [``The model companion of the theory of commutative rings without nilpotent elements'', Proc.~Am.~Math.~Soc. 38, 381--387 (1973; Zbl 0267.02040)] on the theory of commutative von Neumann regular rings, especially as approached \textit{via} sheaves of localisations over the maximal ideal spectrum [see also \textit{G.~Cherlin}, Model theoretic algebra. Selected topics. Lecture Notes in Mathematics 521. Berlin-Heidelberg-New York: Springer-Verlag (1976; Zbl 0332.02056)]. Various relevant classes of rings are shown to be axiomatisable and to be model-complete, with the proofs making heavy use of the representation of \(R\) and its localisations as rings of sections over the maximal ideal spectrum.