Steven Lazzaro, McMaster University
“Metric Structures”
In this talk, we begin the study of Continuous Model Theory following ”Model Theory for Metric Structures” (Ben Yaacov, Bernstein, Henson, Usvyatsov). We start by briefly providing the motivation for studying these so-called metric structures through examples. In particular, we will see that any first-order structure can be viewed as a metric structure in a natural way. Following this brief discussion, we will go on to outline the definitions for metric structures which are analogous to the basic definitions for first-order structures: metric structures and their signatures, embeddings and isomorphsims, and substructures.
MC 5403