The uniform content of partial and linear orders

Eric P. Astor, Damir D. Dzhafarov, Reed Solomon +1

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…