Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory
arXiv:1812.03024 · doi:10.1016/j.exmath.2019.05.003
Abstract
We provide proofs for the fact that certain orders have no descending chains and no antichains.
Survey paper