We present an introduction to modern continuous model theory with an emphasis
on its interactions with topics covered in this volume such as $C^*$-algebras
and von Neumann algebras. The role of ultraproducts is highlighted and
expositions of definable sets, imaginaries, quantifier elimination and
separable categoricity are included.