Generalized Higman's Theorem and iterated ideals

Fedor Pakhomov, Giovanni Soldà

Generalized Higman's Theorem is the direct counterpart of Higman's Theorem that asserts the closure of the class of \emph{better} quasi-orders, instead of the class of \emph{well}…