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, A postgraduate logic seminar.
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.