Abstract:We analyze the axiomatic strength of the following theorem due to Rival and Sands in the style of reverse mathematics. "Every infinite partial order $P$ of finite width contains an infinite chain $C$ such that every element of $P$ is either comparable with no element of $C$ or with infinitely many elements of $C$." Our main results are the following. The Rival-Sands theorem for infinite partial orders of arbitrary finite width is equivalent to $\mathsf{I}\Sigma^0_2 + \mathsf{ADS}$ over $\mathsf{RCA}_0$. For each fixed $k \geq 3$, the Rival-Sands theorem for infinite partial orders of width $\leq\! k$ is equivalent to $\mathsf{ADS}$ over $\mathsf{RCA}_0$. The Rival-Sands theorem for infinite partial orders that are decomposable into the union of two chains is equivalent to $\mathsf{SADS}$ over $\mathsf{RCA}_0$. Here $\mathsf{RCA}_0$ denotes the recursive comprehension axiomatic system, $\mathsf{I}\Sigma^0_2$ denotes the $\Sigma^0_2$ induction scheme, $\mathsf{ADS}$ denotes the ascending/descending sequence principle, and $\mathsf{SADS}$ denotes the stable ascending/descending sequence principle. To our knowledge, these versions of the Rival-Sands theorem for partial orders are the first examples of theorems from the general mathematics literature whose strength is exactly characterized by $\mathsf{I}\Sigma^0_2 + \mathsf{ADS}$, by $\mathsf{ADS}$, and by $\mathsf{SADS}$. Furthermore, we give a new purely combinatorial result by extending the Rival-Sands theorem to infinite partial orders that do not have infinite antichains, and we show that this extension is equivalent to arithmetical comprehension over $\mathsf{RCA}_0$.

The Thins Ordering on Relations

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra

Provable better quasi orders

Diagonals and Block-Ordered Relations

A Minimal Axiom Group for Rough Set Based on Quasi-Ordering

On small analytic relations

The logical strength of minimal bad arrays

A partial order on antichains of a fixed size

First-Order Logic Axiomatization of Metric Graph Theory

Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice

Coarse Descriptions and Cautious Preferences

A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting

On countable cofinality and decomposition of definable thin orderings

Instance reducibility and Weihrauch degrees

The Logic of Cardinality Comparison Without the Axiom of Choice

Hindman's Theorem in the hierarchy of Choice Principles

(Extra)ordinary equivalences with the ascending/descending sequence principle

Axiomatic theories of supervaluational truth: completing the picture

Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property

Relational Lattice Axioms