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

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.

Sources & referencesView supporting material

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.