On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product

Uri Abraham, Robert Bonnet, Mirna Džamonja +1

The following is a 2008 conjecture of Abraham, Bonnet and Kubiś: [ABK Conjecture] Every well quasi order (wqo) is a countable union of better quasi orders (bqo). We obtain a partia…