pith. sign in

arxiv: math/0601119 · v1 · submitted 2006-01-06 · 🧮 math.CO · math.LO

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

classification 🧮 math.CO math.LO
keywords better-quasi-orderedcollectiondominationomegaposetsetsthenwell-quasi-ordered
0
0 comments X
read the original 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 $P$ is wqo and the set $S_{\omega}(P)$ of strictly increasing sequences of elements of $P$ is bqo under domination, then $P$ is bqo. As a consequence, we get the same conclusion if $S_{\omega} (P)$ is replaced by $\mathcal J^1(P)$, the collection of non-principal ideals of $P$, or by $AM(P)$, the collection of maximal antichains of $P$ ordered by domination. It then follows that an interval order which is wqo is in fact bqo.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.