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 is wqo and the set of strictly increasing sequences of elements of is bqo under domination, then is bqo. As a consequence, we get the same conclusion if is replaced by , the collection of non-principal ideals of , or by , the collection of maximal antichains of 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