Two first-order logics of permutations

Mathilde Bouvel (1, 2) , Valentin Feray (3) , Michael Albert (2)

1 MOCQUA - Designing the Future of Computational Models
2 University of Otago [Dunedin, Nouvelle-Zélande]
3 UZH - Universität Zürich [Zürich] = University of Zurich

Mots clés: Permutations; Patterns; First order logic; Ehrenfeucht-Fraïssé games; Sorting operators

Domaines: Combinatoire [math.CO]

Mathilde Bouvel, Valentin Feray, Michael Albert. Two first-order logics of permutations. Journal of Combinatorial Theory, Series A, 2020, 171, pp.105-158. ⟨10.1016/j.jcta.2019.105158⟩. ⟨hal-02998767⟩