Prefer a chat interface with context about you and your work?
On Better-Quasi-Ordering Countable Series-Parallel Orders
We prove that any infinite sequence of countable series-parallel orders contains an increasing (with respect to embedding) infinite subsequence. This result generalizes Laver's and Corominas' theorems concerning better-quasi-order of the classes of countable chains and trees.