The lwqo consequence of wqo for one-point extensions of permutation classes

From papers

Let C\mathcal{C} be a permutation class, and let C+1\mathcal{C}^{+1} denote its one-point extension. A class is lwqo when it is well-quasi-ordered under labeling by arbitrary wqo label posets. The one-point-extension conjecture. If C+1\mathcal{C}^{+1} is wqo, then C\mathcal{C}, and hence also C+1\mathcal{C}^{+1}, is lwqo. This is motivated by the absence of known counterexamples and by the fact that lwqo is preserved between C\mathcal{C} and its one-point extension in the forward direction, while the converse for wqo is not known.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Robert Brignall and Vincent Vatter, “Labelled well-quasi-order for permutation classes”, arXiv:2103.08243 (2022).

Solutions 0

No solutions have been posted yet.