1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Jean Goubault-Larrecq, Bastien Laboureix
There is a rich theory of maximal order types of well-partial-orders (wpos), pioneered by de Jongh and Parikh (1977) and Schmidt (1981). Every wpo is Noetherian in its Alexandroff…