Non-dominating sequences of vectors using only resets and increments

Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski

We consider a variant of Dickson lemma, where each entry of a vector can be reseted or incremented by 1 in respect to the previous one. We give an example of non dominating sequenc…