Switch to: References

Add citations

You must login to add citations.
  1. Hindman’s theorem for sums along the full binary tree, $$\Sigma ^0_2$$ Σ 2 0 -induction and the Pigeonhole principle for trees. [REVIEW]Lorenzo Carlucci & Daniele Tavernelli - 2022 - Archive for Mathematical Logic 61 (5):827-839.
    We formulate a restriction of Hindman’s Finite Sums Theorem in which monochromaticity is required only for sums corresponding to rooted finite paths in the full binary tree. We show that the resulting principle is equivalent to \-induction over \. The proof uses the equivalence of this Hindman-type theorem with the Pigeonhole Principle for trees \ with an extra condition on the solution tree.
    Download  
     
    Export citation  
     
    Bookmark