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

Jun Le Goh,Arno Pauly,Manlio Valenti
2024-10-04
Abstract: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'' ($\mathsf{DS}$). We prove that $\mathsf{DS}$ is strictly Weihrauch reducible to $\mathsf{BS}$, correcting our mistaken claim in [<a class="link-https" data-arxiv-id="2010.03840" href="https://arxiv.org/abs/2010.03840">arXiv:2010.03840</a>]. This is done by separating their respective first-order parts. On the other hand, we show that $\mathsf{BS}$ and $\mathsf{DS}$ have the same finitary and deterministic parts, confirming that $\mathsf{BS}$ and $\mathsf{DS}$ have very similar uniform computational strength. We prove that König's lemma $\mathsf{KL}$ and the problem $\mathsf{wList}_{2^{\mathbb{N}},\leq\omega}$ of enumerating a given non-empty countable closed subset of $2^{\mathbb{N}}$ are not Weihrauch reducible to $\mathsf{DS}$ or $\mathsf{BS}$, resolving two main open questions raised in [<a class="link-https" data-arxiv-id="2010.03840" href="https://arxiv.org/abs/2010.03840">arXiv:2010.03840</a>]. We also answer the question, raised in [<a class="link-https" data-arxiv-id="1804.10968" href="https://arxiv.org/abs/1804.10968">arXiv:1804.10968</a>], on the existence of a ``parallel quotient'' operator, and study the behavior of $\mathsf{BS}$ and $\mathsf{DS}$ under the quotient with some known problems.
Logic,Logic in Computer Science,Combinatorics
What problem does this paper attempt to address?