Maximum linearizations of lower sets in ${\mathbb{N}}^m$ with application to monomial ideals

Harry Altman, Andreas Weiermann

We compute the type (maximum linearization) of the well partial order of bounded lower sets in ${\mathbb{N}}^m$, ordered under inclusion, and find it is ${\omega }^{{\omega }^{m-1}}$. Moreover we co…