Imaginaries in real closed valued fields

The paper shows elimination of imaginaries for real closed valued fields to the geometric sorts which were introduced in the [6]. We also show that this result is in some sense optimal. Key words: Real Closed Valued Fields. Imaginaries.

• Type: Journal
• Year: 2006
• Where: APAL
• Authors: T. Mellor
• Keywords: APAL 2006, Geometric Sorts, Imaginaries, Show