Primitive recursive bounds for the finite version of Gowers' $c_0$ theorem

We provide primitive recursive bounds for the finite version of Gowers’ $c_0$ theorem for both the positive and the general case. We also provide multidimensional versions of these results.