1. Andradas, C., Rubio, R., Vélez, M.P.: An algorithm for convexity of semilinear sets over ordered fields. Real Algebraic and Analytic Geometry Preprint Server, No. 12, submitted 1/31/06
2. Conrad P.: Embedding theorems for Abelian groups with valuations. Amer. J. Math. 75, 1–29 (1953)
3. Eaves B.C., Rothblum U.G.: Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields. Math. Programming 53, 307–321 (1992)
4. Gantmacher F.R.: The theory of matrices (vol. 1). Transl. by K.A. Hirsch. Chelsea Publishing Co., New York (1977)
5. Hodges W.: Model theory. Encylopedia of Mathematics and its Applications No. 42. Cambridge University Press, Cambridge (1993)