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

Erhard Aichinger, Florian Aichinger

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