New bounds on the strength of some restrictions of Hindman's Theorem

Lorenzo Carlucci, Leszek Aleksander Kołodziejczyk, Francesco Lepore +1

We prove upper and lower bounds on the effective content and logical strength for a variety of natural restrictions of Hindman's Finite Sums Theorem. For example, we show that Hind…