Types, products and domination
- Date: Monday 1 October 2018, 14:00 – 15:00
- Location: Mathematics Level 8, MALL 1, School of Mathematics
- Type: Seminars, Pure Mathematics
- Cost: Free
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.