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

Marta Fiori-Carones, Alberto Marcone, Paul Shafer +1

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…