Well-quasi-ordering Friedman ideals of finite trees proof of Robertson's magic-tree conjecture

Nathan J. Bowler, Yared Nigussie. Well-quasi-ordering Friedman ideals of finite trees proof of Robertson's magic-tree conjecture. J. Comb. Theory, Ser. B, 164:222-244, January 2024. [doi]

Abstract

Abstract is missing.