LIMDA Joint Seminar: Michael Albert

Title: First order logic of permutations. Speaker: Michael Albert, University of Otago (New Zealand).

Quan?

16/11/2016 des de 12:00 (Europe/Madrid / UTC100)

On?

Room 005, Modul C3, Campus Nord UPC

Afegiu l'esdeveniment al calendari

iCal

Abstract

Finite permutations can be thought of as models of the theory of two linear orders. This viewpoint sits well with the study of permutation patterns since, in that context, permutation classes are simply theories with universal axioms. However, it sits much less well with the algebraic view of permutations since we cannot recover the effect of the permutation as a function. We consider some cases where it is possible to reconcile the two views and answer questions such as: in which permutation classes is it possible to recognise the existence of fixed points (or more generally k-cycles) with a formula from the logic of two linear orders?