Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:NYISDNBWrecord.jsonopen to challenge →
classification
math.LO
keywords
antichainsbasicbeyondcertainchainsdescendingdicksonfact
read the original abstract
We provide proofs for the fact that certain orders have no descending chains and no antichains.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.