
Be the first to like this
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.
Published on
Analysing the categorical structure of well quasi orders, two proofs of the Higman's lemma are shown, emphasising the structural content of this property of well quasi order in relation to exponentiation.
As a side effect, a variant of the Lemma is found, which says that the finite sequences of elements on A, ordered by embedding, is wellfounded if and only if, A is wellfounded.
Be the first to like this
Be the first to comment