Model Theory Seminar

School of Mathematics, University of Leeds

All the seminars will be in MALL 2 and will be on Tuesdays at 2pm. We will usually meet before the seminar at about 1.40pm in the common room for tea and coffee.

The seminar is organised by Will Anscombe.

Autumn Term 2013

Week 7, Tuesday 12th November
Robert Barham
Model Theoretic Properties of CFPOs

Cycle-free partial orders are a generalisation of trees, in that they can branch down as well as up. I will show when they are interpretable with trees and then use this to show that the theory of CFPOs is both NIP and inp-minimal.