1. [8] Hodges, W., Model Theory, vol. 42 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1993.
2. [1] Addison, J. W., “Some consequences of the axiom of constructibility,” Fundamenta Mathematicae, vol. 46 (1959), pp. 337–57.
3. [2] Ben Yaacov, I., A. Berenstein, C. W. Henson, and A. Usvyatsov, “Model theory for metric structures,” pp. 315–427 in Model Theory With Applications to Algebra and Analysis, Vol. 2, edited by Z. Chatzidakis, D. Macpherson, A. Pillay, and A. Wilkie, vol. 350 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, 2008.
4. [3] Elliott, G. A., “On the classification of inductive limits of sequences of semisimple finite-dimensional algebras,” Journal of Algebra, vol. 38 (1976), pp. 29–44.
5. [4] Glass, A. M. W., and K. R. Pierce, “Equations and inequations in lattice-ordered groups,” pp. 141–71 in Ordered Groups (Boise, Idaho, 1978), edited by J. Smith, G. Kenny, and R. Ball, vol. 62 of Lecture Notes in Pure and Applied Mathematics, Dekker, New York, 1980.