Real closed rings. II. Model theory (Q793009)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Real closed rings. II. Model theory |
scientific article |
Statements
Real closed rings. II. Model theory (English)
0 references
1983
0 references
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.
0 references
model theory of real closed rings
0 references
convex subrings of real closed fields
0 references
residue rings
0 references
prime ideals
0 references
rings of continuous functions
0 references