TY - RPRT TI - Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory AU - Erhard Aichinger AU - Florian Aichinger PY - 2018 DO - 10.1016/j.exmath.2019.05.003 UR - https://arxiv.org/abs/1812.03024 ID - 1812.03024 ER -