Bounding finite-image sequences of length ${\omega }^k$

Harry Altman

Given a well-quasi-order $X$ and an ordinal $\alpha$, the set $s_{\alpha }^F(X)$ of transfinite sequences on $X$ with length less than $\alpha$ and with finite image is also a well-quasi-order, as p…