Real closed rings. II. Model theory (Q793009)

This paper concerns the model theory of real closed rings, which are the convex subrings of real closed fields. Much follows directly from the Ax- Kochen/Ershov theorem. An explicit quantifier elimination procedure is also given. Such rings occur in nature as residue rings modulo certain prime ideals of rings of continuous functions. This was the subject of Part I, which is still to appear. Dickmann recently showed that such rings arise also as residue rings of continuous semialgebraic functions on curves. J. Moloney has found many other decidable theories of rings occurring in the context of Part I.