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

DOI10.3233/COM-190264zbMath1485.03023MaRDI QIDQ5131646

Francesco Lepore, Lorenzo Carlucci, Konrad Zdanowski, Leszek Aleksander Kołodziejczyk

Publication date: 9 November 2020

Published in: Computability (Search for Journal in Brave)

zbMATH Keywords

reverse mathematicsHindman's theoremfinite unions theorem

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10)

Related Items (4)

Hindman's theorem for sums along the full binary tree, \(\Sigma^0_2\)-induction and the pigeonhole principle for trees ⋮ Finiteness classes arising from Ramsey-theoretic statements in set theory without choice ⋮ Thin set versions of Hindman's theorem ⋮ Restrictions of Hindman's theorem: an overview

This page was built for publication: New bounds on the strength of some restrictions of Hindman’s Theorem