LIMDA Joint Seminar: Michael Albert
Title: First order logic of permutations. Speaker: Michael Albert, University of Otago (New Zealand).
- https://mat.upc.edu/ca/activitats/limda-joint-seminar-michael-albert
- LIMDA Joint Seminar: Michael Albert
- 2016-11-16T12:00:00+01:00
- 2016-11-16T23:59:59+01:00
- Title: First order logic of permutations. Speaker: Michael Albert, University of Otago (New Zealand).
16/11/2016 des de 12:00 (Europe/Madrid / UTC100)
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?