1 paper
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…