Imaginaries in real closed valued fields

Abstract

The paper shows elimination of imaginaries for real closed valued fields to suitable sorts. We also show that this result is in some sense optimal. The paper includes a quantifier elimination theorem for real closed valued fields in a language with sorts for the field, value group and residue field. (c) 2005 Elsevier B.V. All rights reserved.