Separating principles below Ramsey's Theorem for Pairs

Manuel Lerman, Reed Solomon, Henry Towsner

In recent years, there has been a substantial amount of work in reverse mathematics concerning natural mathematical principles that are provable from $\RT$, Ramsey's Theorem for Pa…