English Higman's lemma Cited by user Gabn1 on 08 Feb 2024 In mathematics, Higman's lemma states that the set. This is a special case of the later Kruskal's tree theorem.
English Well-quasi-ordering Cited by user Gabn1 on 07 Feb 2024 In mathematics, specifically order theory, a well-quasi-ordering or wqo on a set.