| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662497 | Annals of Pure and Applied Logic | 2006 | 50 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
