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.

Sequential discontinuity and first-order problems

The computational content of multidimensional discontinuity

n-dependent continuous theories and hyperdefinable sets

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

Inside the Muchnik Degrees I: Discontinuity, Learnability, and Constructivism

Nonuniqueness phenomena in discontinuous dynamical systems and their regularizations

Finding descending sequences through ill-founded linear orders

Degrees of Undecidability in Rewriting

Minimal covers in the Weihrauch degrees

Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations

A note on properly discontinuous actions

Continuity in Discrete Sets

Strong existence for free discontinuity problems in linear elasticity

How discontinuous is Computing Nash Equilibria?

Generalized solutions to opinion dynamics models with discontinuities

Discrete sets definable in strong expansions of ordered Abelian groups

Lipschitz Continuity Theorems for Free Discontinuity Problem in Several Variables

A well-quasi-order for continuous functions

Order continuous of monotone set function and convergence of measurable functions sequence

Structural discontinuity as generalized strain and Fourier transform for discrete-continuous systems