I ran into this obstacle in a harmonic analysis problem; I know epsilon about coloring problems.
Is it possible to finitely color Z^2 so that the points (x,a) and (a,y) are differently colored for every x, y and a in the integers (excepting, of course, the trivial cases x=y=a)?