Title of article
Imaginaries in real closed valued fields
Author/Authors
Mellor، نويسنده , , T.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
50
From page
230
To page
279
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.
Keywords
Real closed valued fields , Quantifier elimination , Imaginaries
Journal title
Annals of Pure and Applied Logic
Serial Year
2006
Journal title
Annals of Pure and Applied Logic
Record number
1443748
Link To Document