Imaginaries in bounded pseudo real closed fields
classification
🧮 math.LO
keywords
boundedimaginariesclosedconstanteliminatesexpandedfieldfields
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.