English

On better-quasi-ordering classes of partial orders

Logic 2014-10-02 v3

Abstract

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 σ\sigma-scattered to partial orders, and use our method to prove that the class of σ\sigma-scattered partial orders is better-quasi-ordered under embeddability. This generalises theorems of Laver, Corominas and Thomass\'{e} regarding σ\sigma-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.

Keywords

Cite

@article{arxiv.1408.0315,
  title  = {On better-quasi-ordering classes of partial orders},
  author = {Gregory McKay},
  journal= {arXiv preprint arXiv:1408.0315},
  year   = {2014}
}

Comments

v1: 45 pages, 8 figures; v2: 44 pages, 11 figures, minor corrections, fixed typos, new figures and some notational changes to improve clarity; v3: 45 pages, 12 figures, changed the way the paper is structured to improve clarity and provide examples earlier on

R2 v1 2026-06-22T05:18:50.337Z