Huet showed in 1973 that 3rd order unification is undecidable and this was improved upon by Baxter in 1978 then by Goldfarb in 1981 by showing that 2nd order unification is already undecidable.
Ο Υ (Huet) έδειξε το 1973 ότι η ενοποίηση 3ου βαθμού είναι μη αποφασίσιμη, και αυτό βελτιώθηκε από τον Μπάξτερ το 1978, και τον Γκόλντφαρμπ το 1981 δείχνοντας ότι η ενοποίηση 2ου βαθμού είναι ήδη μη-αποφασίσιμη.