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

Erhard Aichinger; Florian Aichinger

doi:10.1016/j.exmath.2019.05.003

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

Logic 2023-06-01 v1

Authors: Erhard Aichinger , Florian Aichinger

View on arXiv ↗ PDF ↗ DOI ↗

Abstract

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

Keywords

dickson's lemma higman's theorem order theory descending chains antichains

Cite

@article{arxiv.1812.03024,
  title  = {Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory},
  author = {Erhard Aichinger and Florian Aichinger},
  journal= {arXiv preprint arXiv:1812.03024},
  year   = {2023}
}