The Thin Set Theorem for Pairs Implies DNR
Brian Rice · Notre Dame Journal of Formal Logic · 2015
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 RCA0.