Real closed rings. II. Model theory (Q793009): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Q256537 / rank | |||
Property / author | |||
Property / author: Gregory L. Cherlin / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(83)90019-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1985825462 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model Theoretic Algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3943060 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3898595 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On definable subsets of <i>p</i>-adic fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elimination of quantifiers in algebraic structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complete theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the elementary theory of Hensel fields / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:43, 14 June 2024
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