2000 character limit reached
Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory (1812.03024v1)
Published 7 Dec 2018 in math.LO
Abstract: We provide proofs for the fact that certain orders have no descending chains and no antichains.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Collections
Sign up for free to add this paper to one or more collections.
