Unsurprisingly, there are various ways in which Higman's lemma is used in the context of Gröbner bases. One interesting recent example : http://www.msri.org/people/members/chillar/files/HS-MonoidGBFiniteness.pdf
Vladimir Dotsenko
- 16.9k
- 1
- 55
- 114