The 2-wqo one-point-extension conjecture for permutation classes

About 5 years old · traced to

Let C\mathcal{C} be a permutation class, and let C+1\mathcal{C}^{+1} denote its one-point extension. The 2-wqo one-point-extension conjecture. If C\mathcal{C} is 2-wqo, then C+1\mathcal{C}^{+1} is wqo. The assertion would follow from Pouzet's 2-wqo conjecture, since the proof in the source shows that every 4-wqo class has a wqo one-point extension; it also follows from the stronger conjecture that every 2-wqo class is lwqo.

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.