arXiv:1510.01838 [math.LO]AbstractReferencesReviewsResources
A lower bound on Gowers' FIN_k theorem
Published 2015-10-07Version 1
Gowers' FIN$_k$ theorem, also called Gowers' pigeonhole principle or Gowers' theorem, is a Ramsey-type theorem. It first occurred in the study of Banach space theory and is a natural generalization of Hindman's theorem. In this short note, we will show that Gowers' FIN$_k$ theorem does not follow from ACA$_0$.
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:2501.12545 [math.LO] (Published 2025-01-21)
A short note on model theory of C((t))
arXiv:1512.08691 [math.LO] (Published 2015-12-29)
Correspondences between model theory and banach space theory
arXiv:1603.08249 [math.LO] (Published 2016-03-27)
Effectiveness of Hindman's theorem for bounded sums