Abstract
Let TT1 denote the principle that every finite coloring of the full binary tree has a homogeneous isomorphic subtree, i.e. one that is monochromatic. We show that over the system RCA0, the inductive strength of TT1 is weaker than Σ20-induction. This follows from the main theorem that over the same system, TT1 is Π11-conservative over Σ20-bounding plus the principle of the totality of the Ackermann function.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.