Generalizing Kruskal’s theorem to pairs of cohabitating trees

We investigate the extent to which structures consisting of sequences of forests on the same underlying set are well-quasi-ordered under embeddings.