Nash-Williams fronts and 2-better-quasi-orders

Source: doi:10.4171/EMSS/4-2-2, url:https://github.com/yannpequignot/TwoBQO Authors: Yann Pequignot Status: verified Main declarations: Front.IsFront.nash_williams, TwoBQO.wellQuasiOrdered Tags: infinitary-combinatorics, ramsey-theory, better-quasi-orders, well-quasi-orders, ordinal-ranks MSC: 03E05, 05D10, 06A07