Combinatorics and quantifiers
Jaroslav Nešetřil (1996)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Let be the set of subsets of of cardinality . Let be a coloring of and a coloring of . We write if every -homogeneous is also -homogeneous. The least such that for some is called the of and denoted by . In the first part of the paper we prove the existence of colorings with high -width. In particular, we show that for each and there is a coloring with . In the second part of the paper we give applications of wide colorings in the theory of generalized...