The lwqo consequence of wqo for one-point extensions of permutation classes
Let be a permutation class, and let 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 is wqo, then , and hence also , is lwqo. This is motivated by the absence of known counterexamples and by the fact that lwqo is preserved between and its one-point extension in the forward direction, while the converse for wqo is not known.
References
Primary source
Robert Brignall and Vincent Vatter, “Labelled well-quasi-order for permutation classes”, arXiv:2103.08243 (2022).
Progress summary
Never refreshed
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.