Real Algebraic and Analytic Geometry
Submission: 2003, December 15.
This paper shows elimination of imaginaries to the sorts G which were defined in the previous paper. We also show that this result in some sense optimal.
Mathematics Subject Classification (2000): 03C60, 12J10, 12J15, 03C45.
Keywords and Phrases: Real Closed Valued Fields, Imaginaries.
Full text, 34p.: dvi 147k, ps.gz 211k, pdf 322k.