Monochromatic Sums and Products of Polynomials
arXiv:2211.00766
Abstract
We show that the pattern is partition regular over the space of formal integer polynomials of degree at least one with zero constant term, with primitive recursive bounds. This provides a new proof for the partition regularity of over , which gives the first primitive recursive bound.