Partition regularity dichotomy under an extra constraint (source code)

= Partition regularity dichotomy under an extra constraint

For a <partition regular matrix> $A$ and any property $P$ of its positive solution vectors, either every <finite coloring> admits a <monochromatic> solution with $P$, or every <finite coloring> admits one without $P$. If the first alternative fails, take a witnessing coloring and pair it with any other coloring. Partition regularity of the product coloring forces a solution avoiding $P$ in the other coloring. The alternatives need not be exclusive.