Article ID Journal Published Year Pages File Type
5778142 Annals of Pure and Applied Logic 2017 12 Pages PDF
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
,