The Thin Set Theorem for Pairs Implies DNR

Abstract

Answering a question in the reverse mathematics of combinatorial principles, we prove that the thin set theorem for pairs (TS(2)) implies the diagonally noncomputable set principle (DNR) over the base axiom system ${\mathrm{RCA}}_0$.