Atomicity and well quasi-order for consecutive orderings on words and permutations

Matthew McDevitt, Nik Ruskuc

Algorithmic decidability is established for two order-theoretic properties of downward closed subsets defined by finitely many obstructions in two infinite posets. The properties u…