Homogeneous set for a colouring
ID: homogeneous-set-for-a-colouring
For a colouring of the -element subsets of a set , a subset is homogeneous if all its -element subsets receive the same colour. The infinite Ramsey theorem for r-sets guarantees an infinite homogeneous subset when , is positive and the number of colours is finite. This does not guarantee a computable set when the colouring is computable.
New to topics? Read the docs here!