A generalization of the ray-chaudhuri-wilson theorem

Let K = {k₁,…,k_r} and L = {l₁,…,l_s} be two sets of non-negative integers and assume k_i > l_j for every i,j. Let F be an L-intersecting family of subsets of a set of n elements. Assume the size of every set in F is a number from K. We conjecture that |F| ? (ⁿ_s). We prove that our conjecturer is true for any K. (with min k_i ? s) when L = {0,1,…,s ? 1}. We also show that for any K and any L, (with min k_i > max l_j) CALLING STATEMENT : © 1995 John Wiley & Sons, Inc.