Imaginaries in bounded pseudo real closed fields
Logic
2014-12-01 v1
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.
Cite
@article{arxiv.1411.7645,
title = {Imaginaries in bounded pseudo real closed fields},
author = {Samaria Montenegro},
journal= {arXiv preprint arXiv:1411.7645},
year = {2014}
}