Abstract:The principle $ADS$ asserts that every linear order on $\omega$ has an infinite ascending or descending sequence. This has been studied extensively in the reverse mathematics literature, beginning with the work of Hirschfeldt and Shore. We introduce the principle $ADC$, which asserts that linear order has an infinite ascending or descending chain. The two are easily seen to be equivalent over the base system $RCA_0$ of second order arithmetic; they are even computably equivalent. However, we prove that $ADC$ is strictly weaker than $ADS$ under Weihrauch (uniform) reducibility. In fact, we show that even the principle $SADS$, which is the restriction of $ADS$ to linear orders of type $\omega + \omega^*$, is not Weihrauch reducible to $ADC$. In this connection, we define a more natural stable form of $ADS$ that we call $General\text-SADS$, which is the restriction of $ADS$ to linear orders of type $k + \omega$, $\omega + \omega^*$, or $\omega + k$, where $k$ is a finite number. We define $GeneralSADC$ analogously. We prove that $GeneralSADC$ is not Weihrauch reducible to $SADS$, and so in particular, each of $SADS$ and $SADC$ is strictly weaker under Weihrauch reducibility than its general version. Finally, we turn to the principle $CAC$, which asserts that every partial order on $\omega$ has an infinite chain or antichain. This has two previously studied stable variants, $SCAC$ and $WSCAC$, which were introduced by Hirschfeldt and Jockusch, and by Jockusch, Kastermans, Lempp, Lerman, and Solomon, respectively, and which are known to be equivalent over $RCA_0$. Here, we show that $SCAC$ is strictly weaker than $WSCAC$ under even computable reducibility.

Countable Ordered Groups and Weihrauch Reducibility

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem

Strong reducibilities and set theory

Instance reducibility and Weihrauch degrees

Special unipotent representations of real classical groups: counting and reduction

Countable strict reverse mathematics

The tree pigeonhole principle in the Weihrauch degrees

Analogues of the countable Borel equivalence relations in the setting of computable reducibility

Reverse mathematics of regular countable second countable spaces

Reductions of well-ordering principles to combinatorial theorems

An isomorphism theorem for models of weak König’s lemma without primitive recursion

Quantitative reduction theory and unlikely intersections

Generalized Effective Reducibility

Count-Free Weisfeiler--Leman and Group Isomorphism

Big in Reverse Mathematics: the uncountability of the real numbers

Lipschitz Equivalence of Cantor Sets and Irreducibility of Polynomials

On the Weihrauch degree of the additive Ramsey theorem

Full Generalized Effective Reducibility

Weak well orders and Fraïssé's conjecture

The uniform content of partial and linear orders