Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory

Abstract

We provide proofs for the fact that certain orders have no descending chains and no antichains.Comment: Survey pape