The weakness of finding descending sequences in ill-founded linear orders

Jun Le Goh, Arno Pauly, Manlio Valenti

We explore the Weihrauch degree of the problems ``find a bad sequence in a non-well quasi order'' ($\mathsf{BS}$) and ``find a descending sequence in an ill-founded linear order''…