Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5778142 | Annals of Pure and Applied Logic | 2017 | 12 Pages |
Abstract
The main result of this paper is that if M is a bounded PRC field, then Th(M) eliminates imaginaries in the language of rings expanded by constant symbols. As corollary of the elimination of imaginaries and the fact that the algebraic closure (in the sense of model theory) defines a pregeometry we obtain that the complete theory of a bounded PRC field is superrosy of Uþ -rank 1.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Samaria Montenegro,