Date of Completion
mathematics, mathematical logic, logic, logic and foundations, reverse mathematics
David Reed Solomon
Field of Study
Doctor of Philosophy
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.
Nichols, David, "Effective Techniques in Reverse Mathematics" (2019). Doctoral Dissertations. 2187.