Imaginaries in bounded pseudo real closed fields
arXiv:1411.7645
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.
arXiv:1411.7645
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.