Types, products and domination

Rosario Mennuni, University of Leeds. Part of the postgraduate logic seminar series.

In this very informal talk I will review how types of a first-order theory work, explain how one can define a product on a subclass of them, and say a couple of words about how this product interacts with a certain preorder.