On a duality between Kruskal and Dershowitz theorems.

The article is mainly concerned with the Kruskal tree theorem and the following observation: there is a duality at the level of binary relations between well and noetherian orders. The first step here is to extend Kruskal theorem from orders to binary relations so that the duality applies. Then, we describe the theorem obtained by duality and show that it corresponds to a theorem by Ferreira and Zantema which subsumes Dershowitz's seminal results on recursive path orderings. [ABSTRACT FROM AUTHOR]