SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS
SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS
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 Pairs. These principles tend to fall outside of the "big five" systems of reverse mathematics and a complicated picture of subsystems below RT has …