Erhard Aichinger, Florian Aichinger,
"Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory"
, Serie arXiv.org, Nummer arXiv:1812.03024, 12-2018, ISSN: 2331-8422
Original Titel:
Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory
Sprache des Titels:
Englisch
Original Kurzfassung:
We provide proofs for the fact that certain orders have no descending chains and no antichains.
Forschungs-