Rado solution inside an m-p-c set

ID: rado-solution-inside-an-m-p-c-set

Suppose the columns of a matrix over the rational numbers satisfy the columns condition with blocks . Choose rational coefficients such that
Choose a positive integer clearing all denominators and . For generators of any full positive M-p-c set, the coordinates
lie in that set and satisfy . Thus the monochromatic m-p-c set theorem supplies the sufficiency direction of Rado's theorem.

New to topics? Read the docs here!