Conservation Strength of The Infinite Pigeonhole Principle for Trees

Chitat Chong, Wei Wang, Yue Yang

Let ${\mathsf{TT}}^1$ be the combinatorial principle stating that every finite coloring of the infinite full binary tree has a homogeneous isomorphic subtree. Let ${\mathsf{RT}}_2^2$ a…