Date of Completion
4-26-2019
Embargo Period
4-25-2019
Keywords
mathematics, mathematical logic, logic, logic and foundations, reverse mathematics
Major Advisor
Damir Dzhafarov
Associate Advisor
David Reed Solomon
Associate Advisor
Tom Roby
Field of Study
Mathematics
Degree
Doctor of Philosophy
Open Access
Open Access
Abstract
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.
Recommended Citation
Nichols, David, "Effective Techniques in Reverse Mathematics" (2019). Doctoral Dissertations. 2187.
https://digitalcommons.lib.uconn.edu/dissertations/2187
COinS