Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Entire DC Network
Effective Techniques In Reverse Mathematics, David Nichols
Effective Techniques In Reverse Mathematics, David Nichols
Doctoral Dissertations
We develop the theory of strong reductions in the reverse mathematics zoo and show by means of novel tree labeling constructions that strong computable reduction is sufficient to separate four stable relatives of Ramsey's theorem for 2-colorings of pairs.