加载中…
We provide a method of constructing better-quasi-orders by generalising a technique for constructing operator algebras that was developed by Pouzet. We then generalise the notion of -scattered to partial orders, and use our method to prove that the class of -scattered partial orders is better-quasi-ordered under embeddability. This generalises theorems of Laver, Corominas and Thomass'{e} regarding -scattered linear orders and trees, countable forests and N-free partial orders respectively. In particular, a class of countable partial orders is better-quasi-ordered whenever the class of indecomposable subsets of its members satisfies a natural strengthening of better-quasi-order.

生成讲解博客的中文版本

生成AI智能校验的中文版本