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.

The logical strength of minimal bad arrays

The logical strength of minimal bad arrays

Provable better quasi orders

Higman's Lemma is Stronger for Better Quasi Orders

Minimal Axiomatization of Boolean Algebras

The Logic of Cardinality Comparison Without the Axiom of Choice

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals

On non-minimal complements

Minimal Predicates, Fixed-Points, and Definability

Constructing Quasiminimal Structures

On minimal non-$σ$-scattered linear orders

Almost refinement, reaping, and ultrafilter numbers

Minimally Abnormal Models In Some Adaptive Logics

An independence of the MIN principle from the PHP principle

On the strength of the finite intersection principle

The Thins Ordering on Relations

Some simple theories from a Boolean algebra point of view

Pairs of partial orders and the amalgamation property

Algebras of Binary Formulas for Weakly Circularly Minimal Theories with Trivial Definable Closure

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

Submaximal clones over a three-element set up to minor-equivalence