Types, products and domination

Rosario Mennuni, A postgraduate logic seminar.

Rosario Mennuni

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.

For more information please contact Rosario Mennuni.