1. Ben Yaacov, I., Berenstein, A., Henson, C.W., Usvyatsov, A.: Model theory for metric structures. In: Chatzidakis, Z., et al. (eds.) Model Theory with Applications to Algebra and Analysis, vol. II, pp. 315–427. London Mathematical Society Lecture Notes Series, no. 350. London Mathematical Society, London (2008)
2. Blackadar, B.: K-Theory for Operator Algebras. MSRI Publications, vol. 5. Cambridge University Press, Cambridge (1998)
3. Chang, C.C., Keisler, H.J.: Model Theory, 3rd edn. Studies in Logic and the Foundations of Mathematics, vol. 73. North-Holland, Amsterdam (1990)
4. Connes, A.: Classification of injective factors. Cases II1, II∞, IIIλ, λ ≠ 1. Ann. Math. (2) 104, 73–115 (1976)
5. Farah, I.: Between ultrapowers and asymptotic sequence algebras (2019). Preprint arXiv:1904.11776