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.

Share

COinS