The 2-wqo one-point-extension conjecture for permutation classes
The 2-wqo one-point-extension conjecture for permutation classes
Let be a permutation class, and let denote its one-point extension. The 2-wqo one-point-extension conjecture. If is 2-wqo, then 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
Sign in to submit a solution.
No solutions have been posted yet.