# Background

(1) The two most basic references for continuous model theory are the following (with a link following each). Both are also available at Itai Ben Yaacov's publications page, which is at http://math.univ-lyon1.fr/~begnac/pub.html, and a number of his/our other papers involving continuous model theory are listed there.

(A) Model Theory for Metric Structures by Itai Ben Yaacov, Alexander Berenstein, C. Ward Henson, and Alexander Usvyatsov; in Model Theory with Applications to Algebra and Analysis, Vol. II, eds. Z. Chatzidakis, D. Macpherson, A. Pillay, and A.Wilkie, Lecture Notes series of the London Mathematical Society, No. 350, Cambridge University Press, 2008, 315--427. http://www.math.uiuc.edu/~henson/cfo/mtfms.pdf

(B) Itaï Ben Yaacov and Alexander Usvyatsov, Continuous first order logic and local stability, Transactions of the American Mathematical Society 362 (2010), no. 10, 5213-5259. http://math.univ-lyon1.fr/~begnac/articles/cfo.pdf

(3) A detailed exposition of results and tools concerning separable models is given Section 1 of the following paper. This material is especially relevant to facts about separable metric structures of interest under the theme "universality and homogeneity", such as Urysohn's metric space and Gurarij's Banach space. Itaï Ben Yaacov and Alexander Usvyatsov, On d-finiteness in continuous structures, Fundamenta Mathematicae 194 (2007), 67-88. http://math.univ-lyon1.fr/~begnac/articles/dfin.pdf