Two first-order logics of permutations

Michael H. Albert, Mathilde Bouvel, Valentin FĂ©ray. Two first-order logics of permutations. Journal of Combinatorial Theory, Series A, 171, 2020. [doi]

Abstract

Abstract is missing.