On the cartesian product of well-orderings

Abstract

The width of a well partial ordering (wpo) is the ordinal rank of the set of its antichains ordered by inclusion. We compute the width of wpos obtained as cartesian products of finitely many well-orderings.

References in corpus (3)

• Multiply-Recursive Upper Bounds with Higman's Lemma
• The reverse mathematics of wqos and bqos
• On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders