Primitive recursive bounds for the finite version of Gowers' theorem
arXiv:1401.8073 · doi:10.1112/S0025579314000345
Abstract
We provide primitive recursive bounds for the finite version of Gowers' theorem for both the positive and the general case. We also provide multidimensional versions of these results.
22 pages