Reducts of the random partial order

KGRC Research Seminar | 01.03.2012 15:00 - 16:30

M. Pinsker (Paris 7, FR, TU Wien and Hebrew U of Jerusalem, IL)

I will present a recent result which states that up to first-order interdefinability, there exist precisely 5 structures which are first-order definable in the universal homogeneous partial order. I will also outline the proof of this result, which is achieved by finding all closed permutation groups which contain the automorphism group of this order. The method for finding the groups relies on a Ramsey-theoretic analysis of permutations acting on the order, which makes it possible to find regular patterns in such permutations and make them accessible to finite combinatorial arguments.

Organiser:

KGRC

Location:

SR 101, 2. St., Währinger Str. 25