English

From well-quasi-ordered sets to better-quasi-ordered sets

Combinatorics 2007-05-23 v1 Logic

Abstract

We consider conditions which force a well-quasi-ordered poset (wqo) to be better-quasi-ordered (bqo). In particular we obtain that if a poset PP is wqo and the set Sω(P)S_{\omega}(P) of strictly increasing sequences of elements of PP is bqo under domination, then PP is bqo. As a consequence, we get the same conclusion if Sω(P)S_{\omega} (P) is replaced by J1(P)\mathcal J^1(P), the collection of non-principal ideals of PP, or by AM(P)AM(P), the collection of maximal antichains of PP ordered by domination. It then follows that an interval order which is wqo is in fact bqo.

Keywords

Cite

@article{arxiv.math/0601119,
  title  = {From well-quasi-ordered sets to better-quasi-ordered sets},
  author = {Maurice Pouzet and Norbert Sauer},
  journal= {arXiv preprint arXiv:math/0601119},
  year   = {2007}
}

Comments

31 pages