The classification of homogeneous finite-dimensional permutation structures

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification conjectured by the first author. The primitive case was proven by the second author using model-theoretic methods, and those methods continue to appear here.