Generalizing Kruskal's theorem to pairs of cohabitating trees (Q5964929)

The authors investigate the extent to which structures consisting of sequences of trees on the same underlying set are well-quasiordered under embeddings. They show that the set of patterns of resemblance of order 2 of height at most \(n\) is wqo under inf-preserving embeddings, the collection of pure patterns of resemblance of order 2 is not wqo under embeddings, the collection of pure patterns of resemblance of order 2 is wqo under coverings and the collection of pure patterns of resemblance of order 3 is not wqo under coverings.