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 .
Citation
Brian Rice. "The Thin Set Theorem for Pairs Implies DNR." Notre Dame J. Formal Logic 56 (4) 595 - 601, 2015. https://doi.org/10.1215/00294527-3153606
Information